Author of the publication

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

, , and . IJCAI, page 2343-2349. IJCAI/AAAI, (2013)

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

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