Fetching the paper…
Reading the bibliography…
Autonomous driving systems (ADSs) integrate sensing, perception, drive control, and several other critical tasks in autonomous vehicles, motivating research into techniques for assessing their safety.
On automatic differentiation
Andreas Griewank et al · 1989
Earlier work this paper cites.
LTLMoP: Experimenting with language, temporal logic and robot control. In 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems . IEEE, 1988–1993
Cameron Finucane, Gangyuan Jing, and Hadas Kress-Gazit. 2010 · 1993
Earlier work this paper cites.
Enforceable security policies
Fred B. Schneider. 2000 · 2000
Earlier work this paper cites.
Using simplicity to control complexity
Lui Sha et al · 2001
Earlier work this paper cites.
Monitoring temporal properties of continuous signals
Oded Maler and Dejan Nickovic. 2004 · 2004
Earlier work this paper cites.
LOLA: runtime monitoring of synchronous systems. In 12th International Symposium on Temporal Representation and Reasoning (TIME’05) . IEEE, 166–174
Ben d’Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B Sipma, Sandeep Mehrotra, and Zohar Manna. 2005 · 2005
Earlier work this paper cites.
The system-level simplex architecture for improved real-time embedded system safety. In 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium . IEEE, 99–107
Stanley Bak, Deepti K Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, and Lui Sha. 2009 · 2009
Earlier work this paper cites.
Run-Time Enforcement of Nonsafety Policies
Jay Ligatti, Lujo Bauer, and David Walker. 2009 · 2009
Earlier work this paper cites.
TuLiP: a software toolbox for receding horizon temporal logic planning. In Proceedings of the 14th international conference on Hybrid systems: computation and control . 313–314
Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, and Richard M Murray. 2011 · 2011
Earlier work this paper cites.
What can you verify and enforce at runtime?
Yliès Falcone, Jean-Claude Fernandez, and Laurent Mounier. 2012 · 2012
Earlier work this paper cites.
Using the parametric approach to solve the continuous-time linear fractional max–min problems
Ching-Feng Wen and Hsien-Chung Wu. 2012 · 2012
Earlier work this paper cites.
Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties
Donal Heffernan, Ciaran MacNamee, and Padraig Fogarty. 2014 · 2014
Earlier work this paper cites.
Shield Synthesis: - Runtime Enforcement for Reactive Systems. In TACAS’15 (Lecture Notes in Computer Science, Vol. 9035) . Springer, 533–548
Roderick Bloem, Bettina Könighofer, Robert Könighofer, and Chao Wang. 2015 · 2015
Earlier work this paper cites.
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. In RV’15 (Lecture Notes in Computer Science, Vol. 9333) . Springer, 102–117
Aaron Kane, Omar Chowdhury, Anupam Datta, and Philip Koopman. 2015 · 2015
Earlier work this paper cites.
Runtime assurance framework development for highly adaptive flight control systems
John D Schierman, Michael D DeVore, Nathan D Richards, Neha Gandhi, Jared K Cooper, Kenneth R Horneman, Scott Stoller, and Scott Smolka. 2015 · 2015
Earlier work this paper cites.
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. In Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings . Springer, 233–249
Johann Schumann, Patrick Moosbrugger, and Kristin Y Rozier. 2015 · 2015
Earlier work this paper cites.
Autonomous vehicles: disengagements, accidents and reaction times
Vinayak V Dixit, Sai Chand, and Divya J Nair. 2016 · 2016
Earlier work this paper cites.
Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring. In ISoLA (2) (Lecture Notes in Computer Science, Vol. 9953) . 672–687
Malte Mauritz, Falk Howar, and Andreas Rausch. 2016 · 2016
Cited alongside, same era.
ModelPlex: Verified runtime validation of verified cyber-physical system models
Stefan Mitsch and André Platzer. 2016 · 2016
Cited alongside, same era.
Combining model checking and runtime verification for safe robotics. In Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings . Springer, 172–189
Ankush Desai, Tommaso Dreossi, and Sanjit A Seshia. 2017 · 2017
Cited alongside, same era.
Robust online monitoring of signal temporal logic
Jyotirmoy V Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, and Sanjit A Seshia. 2017 · 2017
Cited alongside, same era.
CARLA: An open urban driving simulator. In Conference on Robot Learning . 1–16
Assuring the Safety of End-to-End Learning-Based Autonomous Driving through Runtime Monitoring. In DSD . IEEE, 476–483
Jörg Grieser, Meng Zhang, Tim Warnecke, and Andreas Rausch. 2020 · 2020
Later among the works it cites.
AVGuardian: Detecting and mitigating publish-subscribe overprivilege for autonomous vehicle systems. In 2020 IEEE European Symposium on Security and Privacy (EuroS&P) . IEEE, 445–459
David Ke Hong, John Kloosterman, Yuqi Jin, Yulong Cao, Qi Alfred Chen, Scott Mahlke, and Z Morley Mao. 2020 · 2020
Later among the works it cites.
AV-FUZZER: Finding safety violations in autonomous driving systems. In 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) . IEEE, 25–36
Guanpeng Li, Yiran Li, Saurabh Jha, Timothy Tsai, Michael Sullivan, Siva Kumar Sastry Hari, Zbigniew Kalbarczyk, and Ravishankar Iyer. 2020 · 2020
Later among the works it cites.
RTAMT: Online robustness monitors from STL. In International Symposium on Automated Technology for Verification and Analysis . 564–571
Dejan Ničković and Tomoya Yamaguchi. 2020 · 2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017 · 2017
Cited alongside, same era.
Examining accident reports involving autonomous vehicles in California
Francesca M Favarò, Nazanin Nader, Sky O Eurich, Michelle Tripp, and Naresh Varadaraju. 2017 · 2017
Cited alongside, same era.
Smooth operator: Control using the smooth robustness of temporal logic. In 2017 IEEE Conference on Control Technology and Applications (CCTA) . IEEE, 1235–1240
Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam. 2017 · 2017
Cited alongside, same era.
A component-based simplex architecture for high-assurance cyber-physical systems. In 2017 17th International Conference on Application of Concurrency to System Design (ACSD) . IEEE, 49–58
Dung Phan, Junxing Yang, Matthew Clark, Radu Grosu, John Schierman, Scott Smolka, and Scott Stoller. 2017 · 2017
Cited alongside, same era.
Runtime Enforcement of Cyber-Physical Systems
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, and Reinhard von Hanxleden. 2017 · 2017
Cited alongside, same era.
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. In DAC . ACM, 84:1–84:6
Meng Wu, Haibo Zeng, Chao Wang, and Huafeng Yu. 2017 · 2017
Cited alongside, same era.
Runtime monitoring for safety of intelligent vehicles. In DAC . ACM, 31:1–31:6
Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, and Shinichi Shiraishi. 2018 · 2018
Cited alongside, same era.
SOTER: a runtime assurance framework for programming safe robotics systems. In 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) . IEEE, 138–150
Ankush Desai, Shromona Ghosh, Sanjit A Seshia, Natarajan Shankar, and Ashish Tiwari. 2019 · 2019
Cited alongside, same era.
LGSVL simulator: A high fidelity simulator for autonomous driving. In 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) . 1–6
Guodong Rong, Byung Hyun Shin, Hadi Tabatabaee, Qiang Lu, Steve Lemke, Mārtiņš Možeiko, Eric Boise, Geehoon Uhm, Mark Gerow, Shalin Mehta, et al · 2020
Later among the works it cites.
Formal Runtime Monitoring Approaches for Autonomous Vehicles. In OVERLAY’20 (CEUR Workshop Proceedings, Vol. 2785) . CEUR-WS.org, 89–94
Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, and Partha S. Roop. 2020 · 2020
Later among the works it cites.
Guardauto: A Decentralized Runtime Protection System for Autonomous Driving
Kun Cheng, Yuan Zhou, Bihuan Chen, Rui Wang, Yuebin Bai, and Yang Liu. 2021 · 2021
Later among the works it cites.
A taxonomy for classifying runtime verification tools
Yliès Falcone, Srdan Krstic, Giles Reger, and Dmitriy Traytel. 2021 · 2021
Later among the works it cites.
Autonomous vehicle accident data analysis: California OL 316 reports: 2015–2020
Roger L McCarthy. 2022 · 2022
Later among the works it cites.
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. In ASE . ACM, 62:1–62:12
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, and Zijiang Yang. 2022 · 2022
Later among the works it cites.
Specification-Based Autonomous Driving System Testing
Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, and Zijiang Yang. 2023 · 2023
Later among the works it cites.
REDriver Source Codes
2023 · 2024
Closest in time.
Autoware.AI
Autoware.AI. 2022 · 2024
Closest in time.
APOLLO 6.0
Baidu. 2019 · 2024
Closest in time.
APOLLO 7.0
Baidu. 2022 · 2024
Closest in time.
Regulations for the Implementation of the Road Traffic Safety Law of the People’s Republic of China
Chinese Government. 2021 · 2024
Closest in time.