Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan. Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. In Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, editors, Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Volume 14165 of Lecture Notes in Computer Science, pages 180-201, Springer, 2023. [doi]
Abstract is missing.