Widespread adoption of autonomous cars will require greater confidence i...
We describe the concept of logical scaffolds, which can be used to impro...
Solving nonlinear SMT problems over real numbers has wide applications i...
In this paper, we present ReaS, a technique that combines numerical
opti...