Author of the publication

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

Synthesising Industry-Standard Manufacturing Process Controllers., , , , , and . AAMAS, page 1811-1813. ACM, (2017)SMT-based Safety Verification of Parameterised Multi-Agent Systems., , and . CoRR, (2020)Social planning for social HRI., , , , , and . CoRR, (2016)DELPHIC: Practical DEL Planning via Possibilities (Extended Version)., , and . CoRR, (2023)Unbounded Orchestrations of Transducers for Manufacturing., , , , , and . AAAI, page 2646-2653. AAAI Press, (2019)Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)., , , , and . IJCAI, page 5722-5726. ijcai.org, (2022)Towards Team Formation via Automated Planning., , , , , and . COIN@AAMAS/IJCAI, volume 9628 of Lecture Notes in Computer Science, page 282-299. Springer, (2015)Two-Player Game Structures for Generalized Planning and Agent Composition., , , and . AAAI, page 297-302. AAAI Press, (2010)A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems., , and . PRIMA, volume 12568 of Lecture Notes in Computer Science, page 259-280. Springer, (2020)Soundness of Data-Aware Processes with Arithmetic Conditions., , and . CAiSE, volume 13295 of Lecture Notes in Computer Science, page 389-406. Springer, (2022)