Automated Testing With Temporal Logic Specifications for Robotic Controllers Using Adaptive Experiment Design.
Craig InnesSubramanian RamamoorthyPublished in: ICRA (2022)
Keyphrases
- temporal logic
- model checking
- concurrent systems
- formal specification language
- reactive systems
- model checker
- formal verification
- bounded model checking
- transition systems
- epistemic logic
- formal specification
- modal logic
- human operators
- artificial intelligence
- verification method
- symbolic model checking
- reinforcement learning