Author of the publication

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

, , , , and . Frontiers Robotics AI, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements., , , and . CoRR, (2021)FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller., , , and . CoRR, (2021)Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration A Position Paper., , and . CoRR, (2023)Using dafny to solve the VerifyThis 2021 challenges., , and . FTfJP@ECOOP, page 32-38. ACM, (2021)Bridging the gap between single- and multi-model predictive runtime verification., , , , , , and . Formal Methods Syst. Des., 59 (1): 44-76 (2021)A formal approach to finding inconsistencies in a metamodel., and . Softw. Syst. Model., 20 (4): 1271-1298 (2021)Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages., , , , , , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 471-490. Springer, (2019)Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems., , , , , , , and . ISSRE Workshops, page 401-406. IEEE, (2021)Building Specifications in the Event-B Institution., , and . CoRR, (2021)Why just FRET when you can Refactor? Retuning FRETISH Requirements., , and . CoRR, (2022)