Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications.
Mingyu CaiErfan AasiCalin BeltaCristian-Ioan VasilePublished in: IEEE Robotics Autom. Lett. (2023)
Keyphrases
- temporal logic
- cluttered environments
- concurrent systems
- reinforcement learning
- model checking
- transition systems
- reactive systems
- bounded model checking
- model checker
- formal specification language
- modal logic
- action selection
- formal specification
- linear temporal logic
- computation tree logic
- target tracking
- belief revision
- mazurkiewicz traces
- action space
- control flow
- finite state
- search algorithm