Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.
Thao DangAlexandre DonzéInzemamul HaqueNikolaos KekatosIndranil SahaPublished in: CDC (2023)
Keyphrases
- temporal logic
- imitation learning
- concurrent systems
- model checking
- reinforcement learning
- transition systems
- bounded model checking
- model checker
- reactive systems
- formal specification language
- human teacher
- formal specification
- humanoid robot
- modal logic
- robotic systems
- maximum margin
- linear temporal logic
- belief revision
- control system
- verification method
- reinforcement learning methods
- relational domains
- formal verification
- control strategies
- relational data