Publisher
Springer International Publishing
Reference19 articles.
1. Bozkurt, A.K., Wang, Y., Zavlanos, M.M., Pajic, M.: 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, pp. 10349–10355. IEEE (2020). https://doi.org/10.1109/ICRA40945.2020.9196796
2. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the International Congress on Logic, Methodology, and Philosophy of Science, 1960, Berkeley, California, USA, pp. 1–11. Stanford University Press (1962)
3. Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. J. ACM 42(4), 857–907 (1995)
4. Lecture Notes in Computer Science;EM Hahn,2019
5. Lecture Notes in Computer Science;EM Hahn,2020