Publisher
Springer Nature Switzerland
Reference37 articles.
1. Amersbach, C., Winner, H.: Defining required and feasible test coverage for scenario-based validation of highly automated vehicles. In: ITSC 2019, pp. 425–430. IEEE, New York (2019). https://doi.org/10.1109/itsc.2019.8917534
2. Association for Standardization of Automation and Measuring Systems: ASAM OpenODD: Concept Paper v1.0 (2021). https://www.asam.net/index.php?eID=dumpFile &t=f &f=4544 &token=1260ce1c4f0afdbe18261f7137c689b1d9c27576
3. Basin, D., Klaedtke, F., Müller, S., Zălinescu, E.: Monitoring metric first-order temporal properties. J. ACM 62(2), 1–45 (2015). https://doi.org/10.1145/2699444
4. Chhaya, B., Jafer, S., Durak, U.: Formal verification of simulation scenarios in aviation scenario definition language (ASDL). Aerospace 5(1), 10 (2018). https://doi.org/10.3390/aerospace5010010
5. Dokhanchi, A., Amor, H.B., Deshmukh, J.V., Fainekos, G.: Evaluating perception systems for autonomous vehicles using quality temporal logic. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 409–416. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-030-03769-7_23