Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
Marie FarrellNikos MavrakisAngelo FerrandoClare DixonYang GaoPublished in: Frontiers Robotics AI (2021)
Keyphrases
- formal methods
- formal analysis
- model checking
- formal verification
- database systems
- robotic systems
- real world
- formal models
- signature verification
- formal model
- cooperative
- databases
- path planning
- vision system
- mobile robot
- natural language
- autonomous vehicles
- information systems
- mathematical theory
- asynchronous circuits
- object manipulation
- method invocation