Fetching the paper…
Reading the bibliography…
Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems.
2005
Earlier work this paper cites.
2010
Earlier work this paper cites.
Hilscher, M., Linker, S., Olderog, E., Ravn, A.P.: An abstract model for proving safety of multi-lane traffic manoeuvres. In: Qin, S., Qiu, Z. (eds.) Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Lecture Notes in Computer Science, vol. 6991, pp. 404–419. Springer (2011). https://doi.org/10.1007/978-3-642-24559-6_28, https://doi.org/10.1007/978-3-642-24559-6_28
2011
Earlier work this paper cites.
OpenDRIVE® Format Specification. Tech. Rep. V 1.4 ©2006-2015, VIRES Simulationstechnologie GmbH (2015), retrieved from https://www.asam.net/standards/detail/opendrive
2015
Earlier work this paper cites.
Rizaldi, A., Althoff, M.: Formalising traffic rules for accountability of autonomous vehicles. In: IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015, Gran Canaria, Spain, September 15-18, 2015. pp. 1658–1665. IEEE (2015). https://doi.org/10.1109/ITSC.2015.269, https://doi.org/10.1109/ITSC.2015.269
2015
Earlier work this paper cites.
Dosovitskiy, A., Ros, G., Codevilla, F., López, A.M., Koltun, V.: CARLA: an open urban driving simulator. In: 1st Annual Conference on Robot Learning, CoRL 2017, Mountain View, California, USA, November 13-15, 2017, Proceedings. Proceedings of Machine Learning Research, vol. 78, pp. 1–16. PMLR (2017)
2017
Earlier work this paper cites.
Rizaldi, A., Keinholz, J., Huber, M., Feldle, J., Immler, F., Althoff, M., Hilgendorf, E., Nipkow, T.: Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOL. In: Polikarpova, N., Schneider, S.A. (eds.) Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10510, pp. 50–66. Springer (2017). https://doi.org/10.1007/978-3-319-66845-1_4, https://doi.org/10.1007/978-3-319-66845-1_4
2017
Earlier work this paper cites.
Bagschik, G., Menzel, T., Maurer, M.: Ontology based scene creation for the development of automated vehicles. In: 2018 IEEE Intelligent Vehicles Symposium, IV 2018, Changshu, Suzhou, China, June 26-30, 2018. pp. 1813–1820. IEEE (2018). https://doi.org/10.1109/IVS.2018.8500632, https://doi.org/10.1109/IVS.2018.8500632
2018
Earlier work this paper cites.
Ballouli, R.E., Bensalem, S., Bozga, M., Sifakis, J.: Four exercises in programming dynamic reconfigurable systems: Methodology and solution in DR-BIP. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Lecture Notes in Computer Science, vol. 11246, pp. 304–320. Springer (2018)
2018
Earlier work this paper cites.
Beetz, J., Borrmann, A.: Benefits and limitations of linked data approaches for road modeling and data exchange. In: Smith, I.F.C., Domer, B. (eds.) Advanced Computing Strategies for Engineering - 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II. Lecture Notes in Computer Science, vol. 10864, pp. 245–261. Springer (2018). https://doi.org/10.1007/978-3-319-91638-5_13, https://doi.org/10.1007/978-3-319-91638-5_13
2018
Earlier work this paper cites.
Chen, W., Kloul, L.: An ontology-based approach to generate the advanced driver assistance use cases of highway traffic. In: Aveiro, D., Dietz, J.L.G., Filipe, J. (eds.) Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018, Volume 2: KEOD, Seville, Spain, September 18-20, 2018. pp. 73–81. SciTePress (2018). https://doi.org/10.5220/0006931700730081, https://doi.org/10.5220/0006931700730081
2018
Cited alongside, same era.
Damm, W., Kemper, S., Möhlmann, E., Peikenkamp, T., Rakow, A.: Using traffic sequence charts for the development of HAVs. In: ERTS 2018, Toulouse, France, Jan 2018, Proceedings (2018)
2018
Cited alongside, same era.
2018
Cited alongside, same era.
ASAM OpenDRIVE® - Open Dynamic Road Information for Vehicle Environment. Tech. Rep. V 1.6.0, ASAM e.V. (Mar 2020), retrieved from https://www.asam.net/standards/detail/opendrive
2020
Later among the works it cites.
ASAM OpenScenario® - Dynamic content in driving simulation, UML Modeling Rules. Tech. Rep. V 1.0.0, ASAM e.V. (Mar 2020), retrieved from https://www.asam.net/standards/detail/openscenario
2020
Later among the works it cites.
El-Hokayem, A., Bensalem, S., Bozga, M., Sifakis, J.: A layered implementation of DR-BIP supporting run-time monitoring and analysis. In: de Boer, F.S., Cerone, A. (eds.) Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12310, pp. 284–302. Springer (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…
Poggenhans, F., Pauls, J., Janosovits, J., Orf, S., Naumann, M., Kuhnt, F., Mayr, M.: Lanelet2: A high-definition map framework for the future of automated driving. In: Zhang, W., Bayen, A.M., Medina, J.J.S., Barth, M.J. (eds.) 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018. pp. 1672–1679. IEEE (2018). https://doi.org/10.1109/ITSC.2018.8569929, https://doi.org/10.1109/ITSC.2018.8569929
2018
Cited alongside, same era.
Rizaldi, A., Immler, F., Schürmann, B., Althoff, M.: A formally verified motion planner for autonomous vehicles. In: Lahiri, S.K., Wang, C. (eds.) Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11138, pp. 75–90. Springer (2018). https://doi.org/10.1007/978-3-030-01090-4_5, https://doi.org/10.1007/978-3-030-01090-4_5
2018
Cited alongside, same era.
Bloem, R., Fey, G., Greif, F., Könighofer, R., Pill, I., Riener, H., Röck, F.: Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. 55
2019
Cited alongside, same era.
Esterle, K., Aravantinos, V., Knoll, A.C.: From specifications to behavior: Maneuver verification in a semantic state space. In: 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019. pp. 2140–2147. IEEE (2019). https://doi.org/10.1109/IVS.2019.8814241, https://doi.org/10.1109/IVS.2019.8814241
2019
Cited alongside, same era.
Schönemann, V., Winner, H., Glock, T., Otten, S., Sax, E., Boeddeker, B., Verhaeg, G., Tronci, F., Padilla, G.G.: Scenario-based functional safety for automated driving on the example of valet parking. In: Arai, K., Kapoor, S., Bhatia, R. (eds.) Advances in Information and Communication Networks. pp. 53–64. Springer International Publishing, Cham (2019)
2019
Cited alongside, same era.
Sifakis, J.: Autonomous systems - an architectural characterization. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 11665, pp. 388–410. Springer (2019)
2019
Cited alongside, same era.
Zhou, Z.Q., Sun, L.: Metamorphic testing of driverless cars. Commun. ACM 62
2019
Cited alongside, same era.
Wikipedia: https://en.wikipedia.org/wiki/All-way_stop
Cited in the paper.
WS Dept. of Transportation: https://wsdot.wa.gov/Safety/roundabouts
Cited in the paper.
2020
Later among the works it cites.
Fremont, D.J., Kim, E., Pant, Y.V., Seshia, S.A., Acharya, A., Bruso, X., Wells, P., Lemke, S., Lu, Q., Mehta, S.: Formal scenario-based testing of autonomous vehicles: From simulation to the real world. In: 23rd IEEE International Conference on Intelligent Transportation Systems, ITSC 2020, Rhodes, Greece, September 20-23, 2020. pp. 1–8. IEEE (2020). https://doi.org/10.1109/ITSC45102.2020.9294368, https://doi.org/10.1109/ITSC45102.2020.9294368
2020
Later among the works it cites.
Harel, D., Marron, A., Sifakis, J.: Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA 117
2020
Later among the works it cites.
Institute for Software Engineering and Programming Languages, University of Lübeck: LamaConv - Logics and Automata Converter Library (2020), https://www.isp.uni-luebeck.de/lamaconv
2020
Later among the works it cites.
Karimi, A., Duggirala, P.S.: Formalizing traffic rules for uncontrolled intersections. In: 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. pp. 41–50. IEEE (2020). https://doi.org/10.1109/ICCPS48487.2020.00012, https://doi.org/10.1109/ICCPS48487.2020.00012
2020
Later among the works it cites.
El-Hokayem, A., Bozga, M., Sifakis, J.: A temporal configuration logic for dynamic reconfigurable systems. In: Hung, C., Hong, J., Bechini, A., Song, E. (eds.) SAC ’21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. pp. 1419–1428. ACM (2021)
2021
Closest in time.