Author of the publication

Towards Team Formation via Automated Planning.

, , , , , and . COIN@AAMAS/IJCAI, volume 9628 of Lecture Notes in Computer Science, page 282-299. Springer, (2015)

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)Soundness of Data-Aware Processes with Arithmetic Conditions., , and . CAiSE, volume 13295 of Lecture Notes in Computer Science, page 389-406. Springer, (2022)Unbounded Orchestrations of Transducers for Manufacturing., , , , , and . AAAI, page 2646-2653. AAAI Press, (2019)Two-Player Game Structures for Generalized Planning and Agent Composition., , , and . AAAI, page 297-302. AAAI Press, (2010)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)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)Foundations of Relational Artifacts Verification., , , , and . BPM, volume 6896 of Lecture Notes in Computer Science, page 379-395. Springer, (2011)Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic., , and . AAAI, page 5642-5650. AAAI Press, (2022)'Knowing Whether' in Proper Epistemic Knowledge Bases., , , , and . AAAI, page 1044-1050. AAAI Press, (2016)