research
∙
03/29/2021
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Widespread adoption of autonomous cars will require greater confidence i...
share
research
∙
09/12/2019
Better AI through Logical Scaffolding
We describe the concept of logical scaffolds, which can be used to impro...
research
∙
07/21/2018
Delta-Decision Procedures for Exists-Forall Problems over the Reals
Solving nonlinear SMT problems over real numbers has wide applications i...
research
∙
02/13/2018