Automated planning as an early verification tool for distributed control
From MaRDI portal
Publication:2352501
DOI10.1007/s10817-014-9313-1zbMath1315.68178MaRDI QIDQ2352501
Publication date: 2 July 2015
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-014-9313-1
formal verification; distributed control; model checking; automated planning; automotive; reactive control; requirements engineering; action priority; component based systems; early verification; logical faults
68Q60: Specification and verification (program logics, model checking, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Weak, strong, and strong cyclic planning via symbolic model checking
- Macro-operators: A weak method for learning
- Using patterns and plans in chess
- The computational complexity of propositional STRIPS planning
- Fast planning through planning graph analysis
- Applying adversarial planning techniques to Go
- TALplanner: A temporal logic based forward chaining planner
- Using temporal logics to express search control knowledge for planning
- In defense of PDDL axioms
- STRIPS: A new approach to the application of theorem proving to problem solving
- Model Checking Software
- Sokoban: Enhancing general single-agent search methods using domain knowledge