-
Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems
Machine learning becomes increasingly important to tune or even synthesi...
06/22/2020 ∙ by David Bayani, et al. ∙
0
∙
share
read it
-
Pegasus: Sound Continuous Invariant Generation
Continuous invariants are an important component in deductive verificati...
05/19/2020 ∙ by Andrew Sogokon, et al. ∙
0
∙
share
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...
07/05/2019 ∙ by Simon Lunel, et al. ∙
0
∙
share
read it
-
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Formal modeling of cyber-physical systems (CPS) is hard, because they po...
06/13/2019 ∙ by Eduard Kamburjan, et al. ∙
0
∙
share
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...
03/12/2019 ∙ by Brandon Bohrer, et al. ∙
0
∙
share
read it
-
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Programmable Logic Controllers (PLCs) provide a prominent choice of impl...
02/14/2019 ∙ by Luis Garcia, et al. ∙
0
∙
share
read it
-
Verified Runtime Validation for Partially Observable Hybrid Systems
Formal verification provides strong safety guarantees about models of cy...
11/15/2018 ∙ by Stefan Mitsch, et al. ∙
0
∙
share
read it
