Skip to main content
chuchu
Building Safe Autonomy
Search form
Search
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.
Main menu
Home
Publications
About
News
Contact