Biblio

Found 1 results
Filters: Author is Miller, Kristina  [Clear All Filters]
2020
Fan C, Miller K, Mitra S.  2020.  Fast and guaranteed safe controller synthesis for nonlinear vehicle models. International Conference on Computer Aided Verification (CAV). :629–652.