Planning as Model Checking in Hybrid Domains

  title={Planning as Model Checking in Hybrid Domains},
  author={Sergiy Bogomolov and Daniele Magazzeni and Andreas Podelski and Martin Wehrle},
Planning in hybrid domains is an important and challenging task, and various planning algorithms have been proposed in the last years. From an abstract point of view, hybrid planning domains are based on hybrid automata, which have been studied intensively in the model checking community. In particular, powerful model checking algorithms and tools have… CONTINUE READING