1. Michael Ahn, Henry Zhu, Kristian Hartikainen, Hugo Ponte, Abhishek Gupta, Sergey Levine, and Vikash Kumar. 2020. Robel: Robotics benchmarks for learning with low-cost robots. In Conference on Robot Learning. PMLR, 1300--1313.
2. Yashwanth Annpureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, 254--257.
3. Aitor Arrieta, Maialen Otaegi, Liping Han, Goiuria Sagardui, Shaukat Ali, and Maite Arratibel. 2022. Automating Test Oracle Generation in DevOps for Industrial Elevators. In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 284--288.
4. Deep Reinforcement Learning: A Brief Survey
5. Mohammad Bakhshalipour, Maxim Likhachev, and Phillip B Gibbons. 2022. Rtr-bench: A benchmark suite for real-time robotics. In 2022 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). IEEE, 175--186.