research
∙
12/31/2021
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
Leveraging autonomous systems in safety-critical scenarios requires veri...
share
research
∙
10/15/2018
Factorized Machine Self-Confidence for Decision-Making Agents
Algorithmic assurances from advanced autonomous systems assist human use...
research
∙
10/15/2018
