Inverse Optimal Control with Regular Language Specifications.
Ivan PapushaMin WenUfuk TopcuPublished in: ACC (2018)
Keyphrases
- optimal control
- specification language
- control problems
- dynamic programming
- feedback control
- operational semantics
- risk sensitive
- formal language
- optimal control problems
- class of nonlinear systems
- brownian motion
- programming language
- control strategy
- infinite horizon
- reinforcement learning
- formal specification
- lyapunov function
- natural language
- real time