Published in: Dagstuhl Reports, Volume 14, Issue 4 (2024)
Elena Troubitsyna, Ignacio J. Alvarez, Philip Koopman, and Mario Trapp. Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151). In Dagstuhl Reports, Volume 14, Issue 4, pp. 23-41, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{troubitsyna_et_al:DagRep.14.4.23, author = {Troubitsyna, Elena and Alvarez, Ignacio J. and Koopman, Philip and Trapp, Mario}, title = {{Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151)}}, pages = {23--41}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {14}, number = {4}, editor = {Troubitsyna, Elena and Alvarez, Ignacio J. and Koopman, Philip and Trapp, Mario}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.23}, URN = {urn:nbn:de:0030-drops-213549}, doi = {10.4230/DagRep.14.4.23}, annote = {Keywords: ai, safety assurance, safety-critical autonomous systems, simulation-based verification and validation, software engineering} }
Feedback for Dagstuhl Publishing