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
Recent Publications
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Optimal mixed discrete-continuous planning for linear hybrid systems
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
Planning in Dynamic and Partially Unknown Environments
Controller synthesis for linear system with reach-avoid specifications
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
Reactive motion planning with probabilistics safety guarantees
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
Learning Certified Control using Contraction Metric
More...
