( en | de | ru )

 

Disambiguierung von "Felli, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract).

, , , , und . IJCAI, Seite 5722-5726. ijcai.org, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Laetitia Fellini

Learning and memory processes in mice: a behavioral, molecular and pharmacological study in wild-type and transgenic animals. Uni Bremen, (2009)

Giordano Paolo

Alfred Fellig

Josef Felling

Karin Fellinger

 

Weitere Publikationen von Autoren mit dem selben Namen

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