Login / Signup

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning.

Alper Kamil BozkurtYu WangMichael M. ZavlanosMiroslav Pajic
Published in: ICRA (2020)
Keyphrases
  • linear temporal logic
  • bounded model checking
  • temporal logic
  • control system
  • model free reinforcement learning
  • model checking
  • control problems
  • specification language
  • formal verification