Knowledge Compilation Using Interval Automata and Applications to Planning

Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notion of interval automaton (IA), adapted to the compilation of problems involving both discrete and continuous variables, and especially of decision policies and transition tables, in the purpose of controlling autonomous systems.

Authors

• Alexandre Niveau
• Hélène Fargier
• Cédric Pralet
• Gérard Verfaillie

Keywords

No keywords are indexed for this paper.