| |||||||||||
MOCHAP 2014 : 1st ICAPS Workshop on Model Checking and Automated Planning | |||||||||||
Link: http://icaps14.icaps-conference.org/workshops_tutorials/mochap.html | |||||||||||
| |||||||||||
Call For Papers | |||||||||||
There has been a lot of work on the exchanges between the two research areas of Model Checking and Automated Planning, based on the observation that a model-checking problem can be cast as a planning problem, by setting as the goal to achieve a state violating the property to be verified in the model checking problem. Thus, if a plan is found by the planner, it corresponds to the error trace that a model checker would return (this paradigm is called directed model checking). The link can be exploited also in the other way around, using a model checker to search the planning state space, stopping the search when a goal state is found (this paradigm is called planning via model checking). Furthermore, there is a strong connection between hybrid-system falsification and motion planning as state-of-the art motion planners are used as the starting point for searching the continuous state spaces of a hybrid system.
Objectives and Topics The purpose of the workshop is to promote a cross-fertilisation between different but related research areas. This workshop is the ideal venue for researchers in AI planning, motion planning, model checking, robotics, hybrid systems, to discuss what can be shared in terms of techniques, tools, modelling languages and benchmark problems. The workshop includes - but is not limited to - the following topics: Planning as model checking Directed model checking Falsification Motion planning Hybrid systems Novel benchmark problems Validation and verification of domain models Verification of plan executions Symmetry reduction techniques Partial order reduction techniques Heuristic search Symbolic search Plan robustness Plan validation |
|