posted by system || 6060 views || tracked by 9 users: [display]

MOCHAP 2014 : 1st ICAPS Workshop on Model Checking and Automated Planning

FacebookTwitterLinkedInGoogle

Link: http://icaps14.icaps-conference.org/workshops_tutorials/mochap.html
 
When Jun 22, 2014 - Jun 23, 2014
Where Portsmouth, USA
Submission Deadline Feb 20, 2014
Categories    planning   robotics   artificial intelligence
 

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

Related Resources

ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
MODELSWARD 2021   9th International Conference on Model-Driven Engineering and Software Development
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
A-MOST 2021   Advances in Model-Based Software Testing
StoryCase 2012   ICCBR-12 Workshop on Stories, Episodes, and Cases (StoryCase)
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ICRMV--EI, Scopus 2021   2021 The 5th International Conference on Robotics and Machine Vision (ICRMV 2021)--Ei Compendex, Scopus
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
RiE 2021   12th International Conference on Robotics in Education