Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications.
Peng LvGuangqing LuoZhou HeXianwei LiXiang YinPublished in: ICCA (2024)
Keyphrases
- situational awareness
- real time
- reinforcement learning
- formal specification
- control problems
- formal language
- control system
- function approximation
- robot control
- temporal difference
- operational semantics
- optimal control
- data acquisition
- optimal policy
- mobile robot
- control policies
- program synthesis
- reactive systems
- control loop
- robotic control
- control policy
- robotic systems
- closed loop
- transfer learning
- vision system
- dynamic programming
- multi agent
- neural network