Author of the publication

Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets.

, , , , and . ICRA, page 10580-10586. IEEE, (2023)

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

Allocation par enchères et planification hiérarchique pour un système multirobot, application au cas de la chasse aux mines sous-marines., , , and . JFSMA, page 41-50. Cépaduès, (2022)Formalization of Robot Skills with Descriptive and Operational Models., , and . IROS, page 7227-7232. IEEE, (2020)Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification., , , and . ICRA, page 597-603. IEEE, (2019)HiPOP: Hierarchical Partial-Order Planning., , , , and . STAIRS, volume 264 of Frontiers in Artificial Intelligence and Applications, page 51-60. IOS Press, (2014)MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time., , and . IRC, page 208-211. IEEE Computer Society, (2017)A Hybrid Model for Situation Monitoring and Conflict Prediction in Human Supervised Äutonomous" Systems., and . AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before, page 8-15. AAAI, (2006)A Hierarchical Deliberative Architecture Framework based on Goal Decomposition., , , and . IROS, page 9865-9870. IEEE, (2022)HiDDeN: Cooperative plan execution and repair for heterogeneous robots in dynamic environments., , and . IROS, page 4790-4795. IEEE, (2013)Managing Dynamic Multi-Agent Simple Temporal Network., , and . AAMAS, page 1171-1179. ACM, (2015)Integrating Planning and Execution for a Team of Heterogeneous Robots with Time and Communication Constraints., , , , , and . ICRA, page 1091-1097. IEEE, (2018)