@inproceedings{naija:hal-02614008, TITLE = {{Combining Semi-Formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems}}, AUTHOR = {Naija, Mohamed and Khemiri, Rihab and Exp{\'o}sito, Ernesto}, URL = {https://univ-pau.hal.science/hal-02614008}, BOOKTITLE = {{15 th International Conference on Evaluation of Novel Approaches to Software Engineering}}, ADDRESS = {Prague, Czech Republic}, YEAR = {2020}, MONTH = May, KEYWORDS = {AMoD ; Adaptability ; Safety ; Net Condition/Event Systems (NCESs) ; Simulation}, PDF = {https://univ-pau.hal.science/hal-02614008/file/Combining%20Semi-Formal%20and%20Formal%20Methods%20for%20Safety%20Control%20in%20Autonomous%20Mobility-on-Demand%20Systems.pdf}, HAL_ID = {hal-02614008}, HAL_VERSION = {v1}, }