Author of the publication

Implementing Durative Actions with Failure Detection in Gwendolen.

, , , and . EMAS@AAMAS, volume 13190 of Lecture Notes in Computer Science, page 332-351. Springer, (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

Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020., , , , and . J. Sens. Actuator Networks, 10 (2): 33 (2021)Modular Verification of Autonomous Space Robotics., , , , , , , , and . CoRR, (2019)A Compositional Approach to Verifying Modular Robotic Systems., , , , , and . CoRR, (2022)Extending Attack-Fault Trees with Runtime Verification., , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 193-207. (2022)Towards Compositional Verification for Modular Robotic Systems., , , , and . FMAS, volume 329 of EPTCS, page 15-22. (2020)Decentralised Planning for Multi-Agent Programming Platforms., and . AAMAS, page 799-807. International Foundation for Autonomous Agents and Multiagent Systems, (2019)ROSMonitoring: A Runtime Verification Framework for ROS., , , , , and . TAROS, volume 12228 of Lecture Notes in Computer Science, page 387-399. Springer, (2020)Special Issue: Agents and Robots for Reliable Engineered Autonomy., , , , and . J. Sens. Actuator Networks, 10 (3): 47 (2021)An Overview of Verification and Validation Challenges for Inspection Robots., , , , , , , , , and 7 other author(s). Robotics, 10 (2): 67 (2021)Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning., and . BRACIS, page 199-204. IEEE Computer Society, (2016)