@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}
}