Browse College of Engineering by Author "Qi, Bolun"
Now showing items 1-2 of 2
Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features Qi, Bolun (2018-04-25)To test safety of autonomous vehicles, large corporations have raced to log millions of miles of test driving on public roads. While this can improve confidence in such systems, testing alone cannot establish of absence ...
Qi, Bolun (2016-05)To check bounded time invariant properties of models with nonlinear dynamics, one promising method is called simulation-based verification. This involves: (a) generating numerical simulations of the ODE from a finite set ...