-
Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems
Machine learning becomes increasingly important to tune or even synthesi...
read it
-
Pegasus: Sound Continuous Invariant Generation
Continuous invariants are an important component in deductive verificati...
read it
-
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Computer-Controlled Systems (CCS) are a subclass of hybrid systems where...
read it
-
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Formal modeling of cyber-physical systems (CPS) is hard, because they po...
read it
-
Blackbox End-to-End Verification of Ground Robot Safety and Liveness
We formally prove end-to-end correctness of a ground robot implemented i...
read it
-
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Programmable Logic Controllers (PLCs) provide a prominent choice of impl...
read it
-
Verified Runtime Validation for Partially Observable Hybrid Systems
Formal verification provides strong safety guarantees about models of cy...
read it

Stefan Mitsch
is this you? claim profile