Maksym Labzhaniia, Julien DeAntoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles. In Manuel Wimmer, Alexander Egyed, Benoît Combemale, Marsha Chechik, editors, Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024. pages 700-709, ACM, 2024. [doi]