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

Alper Kamil Bozkurt, Yu Wang 0044, Michael M. Zavlanos, Miroslav Pajic. Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. In 2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020. pages 10349-10355, IEEE, 2020. [doi]

@inproceedings{Bozkurt0ZP20,
  title = {Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning},
  author = {Alper Kamil Bozkurt and Yu Wang 0044 and Michael M. Zavlanos and Miroslav Pajic},
  year = {2020},
  doi = {10.1109/ICRA40945.2020.9196796},
  url = {https://doi.org/10.1109/ICRA40945.2020.9196796},
  researchr = {https://researchr.org/publication/Bozkurt0ZP20},
  cites = {0},
  citedby = {0},
  pages = {10349-10355},
  booktitle = {2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020},
  publisher = {IEEE},
  isbn = {978-1-7281-7395-5},
}