research
∙
07/19/2021
Structured Proofs for Adversarial Cyber-Physical Systems
Many cyber-physical systems (CPS) are safety-critical, so it is importan...
share
research
∙
02/20/2020
Constructive Game Logic
Game Logic is an excellent setting to study proofs-about-programs via th...
research
∙
02/07/2020
Refining Constructive Hybrid Games
We extend the constructive differential game logic (CdGL) of hybrid game...
research
∙
02/06/2020
Constructive Hybrid Games
Hybrid games are models which combine discrete, continuous, and adversar...
research
∙
08/15/2019
Toward Structured Proofs for Dynamic Logics
We present Kaisar, a structured interactive proof language for different...
research
∙
03/12/2019
Blackbox End-to-End Verification of Ground Robot Safety and Liveness
We formally prove end-to-end correctness of a ground robot implemented i...
research
∙
01/01/2018