Design and validation of computer protocols
Design and validation of computer protocols
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Planning control rules for reactive agents
Artificial Intelligence
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
An Behavior-based Robotics
A Framework and Architecture for Multirobot Coordination
ISER '00 Experimental Robotics VII
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots
ICTAI '00 Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence
Synthesizing plant controllers using real-time goals
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Distributed Watchpoints: Debugging Large Modular Robot Systems
International Journal of Robotics Research
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
Robustness of temporal logic specifications
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Robotics and artificial intelligence: A perspective on deliberation functions
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |
Mobile robot control remains a difficult challenge in changing and unpredictable environments. Reacting to unanticipated events, interacting and coordinating with other agents, and acquiring information about the world remain difficult problems. These actions should be the direct products of the robot's capabilities to perceive, act, and process information intelligently, taking into account its state, that of the environment, and the goals to be achieved. This paper discusses the use of model-checking to reason about robot actions in this context. The approach proposed is to study behaviors that allow abstract, but informative models, so that a computer program can reason with them efficiently. Model-checking can then be used as a means for verifying and planning robot actions with respect to such behaviors.