Login / Signup
Robust Control Policies Given Formal Specifications in Uncertain Environments.
Damian Frick
Tony A. Wood
Gian Ulli
Maryam Kamgarpour
Published in:
IEEE Control. Syst. Lett. (2017)
Keyphrases
</>
uncertain environments
formal specification
control policies
autonomous systems
genetic algorithm
reinforcement learning
model checking
real time
data mining
machine learning
formal methods
learning algorithm
decision making
control system
multi camera