Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design.
Craig InnesSubramanian RamamoorthyPublished in: CoRR (2021)
Keyphrases
- temporal logic
- model checking
- formal specification language
- concurrent systems
- transition systems
- reactive systems
- satisfiability problem
- model checker
- modal logic
- formal verification
- software architecture
- control system
- reinforcement learning
- epistemic logic
- test cases
- design process
- mobile robot
- linear temporal logic
- computation tree logic