Formal Verification of Robotic Contact Tasks via Reachability Analysis.
Chencheng TangMatthias AlthoffPublished in: CoRR (2023)
Keyphrases
- formal verification
- reachability analysis
- model checking
- temporal logic
- model checker
- automated verification
- timed automata
- bounded model checking
- robotic systems
- symbolic model checking
- formal specification
- program slicing
- markov decision processes
- mobile robot
- manipulation tasks
- service robots
- linear programming
- knowledge representation
- expert systems
- real time