Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.
Thao DangAlexandre DonzéInzemamul HaqueNikolaos KekatosIndranil SahaPublished in: CoRR (2024)
Keyphrases
- temporal logic
- imitation learning
- concurrent systems
- reinforcement learning
- model checking
- transition systems
- model checker
- bounded model checking
- reactive systems
- formal specification language
- modal logic
- human teacher
- linear temporal logic
- formal specification
- maximum margin
- robotic systems
- humanoid robot
- formal verification
- control system
- verification method
- belief revision
- reinforcement learning methods
- formal methods
- state space
- epistemic logic
- learning agent