Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu. On the applicability of hybrid systems safety verification tools from the automotive perspective. STTT, 26(1):49-78, February 2024. [doi]
@article{SchuppAWRQ24,
title = {On the applicability of hybrid systems safety verification tools from the automotive perspective},
author = {Stefan Schupp and Erika Ábrahám and Md Tawhid Bin Waez and Thomas Rambow and Zeng Qiu},
year = {2024},
month = {February},
doi = {10.1007/s10009-023-00707-0},
url = {https://doi.org/10.1007/s10009-023-00707-0},
researchr = {https://researchr.org/publication/SchuppAWRQ24},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {26},
number = {1},
pages = {49-78},
}