Keyword:safety verification

Publications
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing Maximilian Gaukler and Peter Ulbrich In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verifying safety of an autonomous spacecraft rendezvous mission Nicole Chan and Sayan Mitra In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems