@inproceedings{Fou0,
title = { A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems },
author = {Foughali, Mohammed},
year = {2020},
booktitle = {2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)},
pages = {1--10},
team = {RSD},
}
