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

Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration A Position Paper., , and . CoRR, (2023)A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements., , , and . CoRR, (2021)Using dafny to solve the VerifyThis 2021 challenges., , and . FTfJP@ECOOP, page 32-38. ACM, (2021)FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller., , , and . CoRR, (2021)A formal approach to finding inconsistencies in a metamodel., and . Softw. Syst. Model., 20 (4): 1271-1298 (2021)Bridging the gap between single- and multi-model predictive runtime verification., , , , , , and . Formal Methods Syst. Des., 59 (1): 44-76 (2021)Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper., , , , , , , , , and 3 other author(s). CoRR, (2020)Building Specifications in the Event-B Institution., , and . CoRR, (2021)Why just FRET when you can Refactor? Retuning FRETISH Requirements., , and . CoRR, (2022)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , and 3 other author(s). FMFun, volume 1301 of Communications in Computer and Information Science, page 1-26. Springer, (2019)