References

  1. Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, D. Ničković & Sriram Sankaranarayanan (2018): Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. In: Lectures on Runtime Verification, doi:10.1007/978-3-319-75632-5_5.
  2. Andreas Bauer, Martin Leucker & Christian Schallhart (2011): Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20, doi:10.1145/2000799.2000800.
  3. Jan Becker, Tjark Koopmann, Birte Neurohr, Christian Neurohr, Lukas Westhofen, Boris Wirtz, Eckard Böde & Werner Damm (2022): Simulation of Abstract Scenarios: Towards Automated Tooling in Criticality Analysis, pp. 42–51, doi:10.5281/zenodo.5907154.
  4. Jan Steffen Becker (2020): Partial Consistency for Requirement Engineering with Traffic Sequence Charts. In: Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), Innsbruck, Österreich, March 05, 2020, CEUR Workshop Proceedings 2581. Available at http://ceur-ws.org/Vol-2581/ase2020paper1.pdf.
  5. Werner Damm, Stephanie Kemper, Eike Möhlmann, Thomas Peikenkamp & Astrid Rakow (2017): Traffic Sequence Charts - From Visualization to Semantics. AVACS Technical Report (117). Available at http://www.avacs.org/fileadmin/Publikationen/Open/avacs_technical_report_117.pdf.
  6. Werner Damm, Eike Möhlmann, Thomas Peikenkamp & Astrid Rakow (2018): A Formal Semantics for Traffic Sequence Charts, pp. 182–205. Springer International Publishing, Cham, doi:10.1007/978-3-319-95246-8_11.
  7. Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal & Sanjit A. Seshia (2017): Robust Online Monitoring of Signal Temporal Logic. Form. Methods Syst. Des., pp. 5–30, doi:10.1007/s10703-017-0286-7.
  8. Alexandre Donzé, Thomas Ferrère & Oded Maler (2013): Efficient Robust Monitoring for STL. In: Computer Aided Verification. Springer International Publishing, pp. 264–279, doi:10.1007/978-3-642-39799-8_19.
  9. Alexandre Donzé & Oded Maler (2010): Robust Satisfaction of Temporal Logic over Real-Valued Signals. In: International Conference on Formal Modeling and Analysis of Timed Systems. Springer, pp. 92–106, doi:10.1007/978-3-642-15297-9_9.
  10. Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez & Vladlen Koltun (2017): CARLA: An Open Urban Driving Simulator. In: Proceedings of the 1st Annual Conference on Robot Learning, pp. 1–16, doi:10.48550/ARXIV.1711.03938.
  11. United Nations Economic Commission for Europe (2021): UN Regulation No 157 – Uniform provisions concerning the approval of vehicles with regards to Automated Lane Keeping Systems [2021/389]. Available at http://data.europa.eu/eli/reg/2021/389/oj.
  12. Thomas Ferrère, Oded Maler, Dejan Ničkovi\'c & Amir Pnueli (2019): From Real-Time Logic to Timed Automata. J. ACM 66, doi:10.1145/3286976.
  13. foretellix (2019): Open M-SDL. https://www.foretellix.com/open-language/. Accessed: 2022-04-22.
  14. Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli & Sanjit A. Seshia (2019): Scenic: a language for scenario specification and scene generation. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, doi:10.1145/3314221.3314633.
  15. Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Gros & Calin Belta (2015): SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC '15. Association for Computing Machinery, pp. 189–198, doi:10.1145/2728606.2728633.
  16. Stefan Jakši\'c, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen & Dejan Ničkovi\'c (2015): From Signal Temporal Logic to FPGA Monitors. In: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). IEEE, pp. 218–227, doi:10.1109/MEMCOD.2015.7340489.
  17. Andrea Leitner (2020): ENABLE-S3: Project Introduction, pp. 13–23. Springer International Publishing, Cham, doi:10.1007/978-3-030-14628-3_4.
  18. Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen & Hui Wang (2020): STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. In: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS), pp. 309–319, doi:10.1109/QRS51102.2020.00048.
  19. Yifang Ma, Zhenyu Wang, Hong Yang & Lin Yang (2020): Artificial Intelligence Applications in the Development of Autonomous Vehicles: A Survey. IEEE/CAA Journal of Automatica Sinica 7, pp. 315–329, doi:10.1109/JAS.2020.1003021.
  20. Rupak Majumdar, Aman Mathur, Marcus Pirron, Laura Stegner & Damien Zufferey (2021): Paracosm: A Test Framework for Autonomous Driving Simulations. In: Fundamental Approaches to Software Engineering. Springer International Publishing, Cham, pp. 172–195, doi:10.1007/978-3-030-71500-7_9.
  21. Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider & Kenji Tei (2019): A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments. In: 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE), pp. 5–12, doi:10.1109/RoSE.2019.00011.
  22. Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti & M. Massink (2017): Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Logical Methods in Computer Science 14, doi:10.23638/LMCS-14(4:2)2018.
  23. Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann & Eckard Böde (2020): Fundamental Considerations around Scenario-Based Testing for Automated Driving. In: 2020 IEEE Intelligent Vehicles Symposium (IV), pp. 121–127, doi:10.1109/IV47402.2020.9304823.
  24. PEGASUS: PEGASUS Project. https://www.pegasusprojekt.de/de/. Accessed: 2022-04-25.
  25. Maike Schwammberger (2021): Distributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoeuvres in Urban Traffic. Oldenburg University, Germany. Available at https://oops.uni-oldenburg.de/4961/.
  26. Ekim Yurtsever, Jacob Lambert, Alexander Carballo & Kazuya Takeda (2020): A Survey of Autonomous Driving: Common Practices and Emerging Technologies. IEEE Access 8, doi:10.1109/ACCESS.2020.2983149.
  27. Eleni Zapridou, Ezio Bartocci & Panagiotis Katsaros (2020): Runtime Verification of Autonomous Driving Systems in CARLA. In: Jyotirmoy Deshmukh & Dejan Ničkovi\'c: Runtime Verification. Springer International Publishing, Cham, pp. 172–183, doi:10.1007/978-3-030-60508-7_9.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org