ECOOP and ISSTA 2021 (series) / VORTEX 2021 (series) / International Workshop on Verification and mOnitoring at Runtime EXecution /
RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
We present RVPLAN, a general purpose framework for replanning that combines classical planning with runtime verification. RVPLAN uses runtime monitors to report violations of the planner’s assumptions over the system, effectively detecting plan failures. Re-planning is triggered when such violations are detected, using the feedback from the monitors to update the model of environment. We illustrate the use of our framework with a remote inspection running example.
Slides (Ferrando.pdf) | 721KiB |
Mon 12 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
10:30 - 11:50 | |||
10:30 40mKeynote | Increasing Confidence in Autonomous Systems VORTEX File Attached | ||
11:10 20mTalk | Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents VORTEX Filippo Ricca DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy, Alessandro Verri File Attached | ||
11:30 20mTalk | RVPLAN: A General Purpose Framework for Replanning using Runtime Verification VORTEX File Attached |