Adapting an AI Planning Heuristic for Directed Model Checking

2006 ◽  
pp. 35-52 ◽  
Author(s):  
Sebastian Kupferschmid ◽  
Jörg Hoffmann ◽  
Henning Dierks ◽  
Gerd Behrmann
Keyword(s):  
Model Checking ◽  
Ai Planning ◽  
Directed Model Checking

scholarly journals Survey on Directed Model Checking

2009 ◽  
pp. 65-89 ◽  
Author(s):  
Stefan Edelkamp ◽  
Viktor Schuppan ◽  
Dragan Bošnački ◽  
Anton Wijs ◽  
Ansgar Fehnker ◽  
...  
Keyword(s):  
Model Checking ◽  
Directed Model Checking

scholarly journals Directed model checking with distance-preserving abstractions

2008 ◽  
Vol 11 (1) ◽  
pp. 27-37 ◽  
Author(s):  
Klaus Dräger ◽  
Bernd Finkbeiner ◽  
Andreas Podelski
Keyword(s):  
Model Checking ◽  
Directed Model Checking

scholarly journals Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking

2020 ◽  
Vol 34 (09) ◽  
pp. 13569-13575
Author(s):  
Jorg Hoffmann ◽  
Holger Hermanns ◽  
Michaela Klauck ◽  
Marcel Steinmetz ◽  
Erez Karpas ◽  
...  
Keyword(s):  
Model Checking ◽  
Formal Methods ◽  
Side Effect ◽  
The Other ◽  
Modeling Language ◽  
Ai Planning ◽  
Complex Environments ◽  
Exogenous Agents ◽  
Automata Network

It is widely known that AI planning and model checking are closely related. Compilations have been devised between various pairs of language fragments. What has barely been voiced yet, though, is the idea to let go of one's own modeling language, and use one from the other area instead. We advocate that idea here – to use automata-network languages from model checking instead of PDDL – motivated by modeling difficulties relating to planning agents surrounded by exogenous agents in complex environments. One could, of course, address this by designing additional extended planning languages. But one can also leverage decades of work on modeling in the formal methods community, creating potential for deep synergy and integration with their techniques as a side effect. We believe there's a case to be made for the latter, as one modeling alternative in planning among others.

Sign in / Sign up

Export Citation Format

Share Document