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.