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

On Enactability of Agent Interaction Protocols: Towards a Unified Approach, , , , and . Engineering Multi-Agent Systems, volume 12058 of Lecture Notes in Artificial Intelligence, Springer, Cham, (2020)LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest., , and . CoRR, (2020)Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach., , , and . Intelligenza Artificiale, 9 (2): 131-148 (2015)Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information., and . CoRR, (2021)VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems., and . CoRR, (2024)3vLTL: A Tool to Generate Automata for Three-valued LTL., , and . FMAS@iFM, volume 395 of EPTCS, page 180-187. (2023)Bridging the gap between single- and multi-model predictive runtime verification., , , , , , and . Formal Methods Syst. Des., 59 (1): 44-76 (2021)MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest., , , , , and . CoRR, (2021)RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications., , , , , and . Robotics, 12 (2): 49 (April 2023)Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives., , and . ICAART (Revised Selected Paper), volume 14546 of Lecture Notes in Computer Science, page 72-94. Springer, (2023)