Autor der Publikation

Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.

, , und . IJCAI, Seite 2343-2349. IJCAI/AAAI, (2013)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Heuristics for Planning with Action Costs Revisited., und . ECAI, Volume 178 von Frontiers in Artificial Intelligence and Applications, Seite 588-592. IOS Press, (2008)Effective Heuristics and Belief Tracking for Planning with Incomplete Information., , und . ICAPS, AAAI, (2011)Beliefs In Multiagent Planning: From One Agent to Many., und . ICAPS, Seite 147-155. AAAI Press, (2015)Traps, Invariants, and Dead-Ends., , und . ICAPS, Seite 211-215. AAAI Press, (2016)Heuristics for Planning with Action Costs., und . CAEPIA, Volume 4788 von Lecture Notes in Computer Science, Seite 140-149. Springer, (2007)Search and Inference in AI Planning.. CP, Volume 3709 von Lecture Notes in Computer Science, Seite 1-4. Springer, (2005)Sound and Efficient Non-monotonic Inference., , und . IJCAI, Seite 1495-1501. Morgan Kaufmann, (1995)Modeling Action, Knowledge and Control., und . ECAI, Seite 532-536. John Wiley and Sons, (1998)General Policies, Serializations, and Planning Width., und . CoRR, (2020)Effective Planning with More Expressive Languages., und . IJCAI, Seite 4155-4159. IJCAI/AAAI Press, (2016)