Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges

Christian Colombo 0001, Gordon J. Pace, Dylan Seychell. Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. In Bernhard Steffen, editor, Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings. Volume 15217 of Lecture Notes in Computer Science, pages 225-241, Springer, 2024. [doi]

Abstract

Abstract is missing.