On proving that an unsafe controller is not proven safe

JSON

Selvaraj Y, Krook J, Ahrendt W, Fabian M

Journal of Logical and Algebraic Methods in Programming 137 (-) 100939 [2024-02-00; online 2024-02-00]

DOI 10.1016/j.jlamp.2023.100939

Crossref 10.1016/j.jlamp.2023.100939