Author:
Kapoor Parv,Kang Eunsuk,Meira-Góes Rômulo
Publisher
Springer Nature Switzerland
Reference24 articles.
1. Aksaray, D., Jones, A., Kong, Z., Schwager, M., Belta, C.: Q-learning for robust satisfaction of signal temporal logic specifications (2016)
2. Aloor, J.J., Patrikar, J., Kapoor, P., Oh, J., Scherer, S.: Follow the rules: online signal temporal logic tree search for guided imitation learning in stochastic domains. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 1320–1326 (2023). https://doi.org/10.1109/ICRA48891.2023.10160953
3. Aloor, J.J., Patrikar, J., Kapoor, P., Oh, J., Scherer, S.: Follow the rules: online signal temporal logic tree search for guided imitation learning in stochastic domains. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 1320–1326. IEEE (2023)
4. Belta, C., Sadraddini, S.: Formal methods for control synthesis: an optimization perspective. Ann. Rev. Control, Robot. Auton. Syst. 2(1), 115–140 (2019)
5. Botea, A., Ciré, A.A.: Incremental heuristic search for planning with temporally extended goals and uncontrollable events. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp. 1647–1652. IJCAI’09, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献