Publisher
Springer Nature Switzerland
Reference67 articles.
1. Al-Lail, M., Abdunabi, R., France, R.B., Ray, I.: An approach to analyzing temporal properties in UML class models. In: Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Workshop (MODELS), pp. 77–86 (2013)
2. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
3. Advances in Intelligent Systems and Computing;É André,2015
4. Araiza-Illan, D., Fisher, M., Leahy, K., Olszewska, J.I., Redfield, S.: Verification of autonomous systems. IEEE Robot. Autom. Mag. 29(1), 2–3 (2022)
5. Arechiga, N.: Specifying safety of autonomous vehicles in signal temporal logic. In: Proceedings of the IEEE Intelligent Vehicles Symposium (IV), pp. 58–63 (2019)