MANIPULATION
Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents
Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel GroBe, Rolf Drechsler
- Year
- 2019
- Citations
- 4
Abstract
In this paper, we propose the first approach for verifying plans of cognition-enabled autonomous robots that perform everyday manipulation activities in human environments. Our methodology is based on the new Intermediate Plan Verification Language (IPVL) which is used to represent plans, environments, and robot belief states in one joint formal model. We devise a symbolic execution engine for IPVL and show the effectiveness of our overall verification methodology in a case study.
Keywords
Computer sciencePlan (archaeology)RobotCognitionFormal verificationArtificial intelligenceHuman–computer interactionProgramming languageSoftware engineering
Related papers
OTHER
📊 26,957 cites
Statistical Learning Theory
Yuhai Wu, Vladimir Vapnik
1999
PERCEPTION
📊 22,245 cites
Artificial intelligence: a modern approach
1995
OTHER
📊 18,993 cites
Applied Nonlinear Control
Jean-Jacques Slotine, Weiping Li
1991
SWARM
📊 14,853 cites
A new optimizer using particle swarm theory
R.C. Eberhart, James Kennedy
2002