Login / Signup
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning.
Alper Kamil Bozkurt
Yu Wang
Michael M. Zavlanos
Miroslav Pajic
Published in:
CoRR (2019)
Keyphrases
</>
linear temporal logic
bounded model checking
temporal logic
model free reinforcement learning
control system
model checking
transition systems
control strategy
machine learning
specification language
multi agent systems