Nikos Aréchiga

Alexandre L. S. Filipowicz

Marco Pavone

Int. J. Robotics Res., May, 2023

A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles.

[BibT_eX]

[DOI]

CoRR, 2023

Drag-guided diffusion models for vehicle image generation.

[BibT_eX]

[DOI]

CoRR, 2023

Surrogate Modeling of Car Drag Coefficient with Depth and Normal Renderings.

[BibT_eX]

[DOI]

CoRR, 2023

Robust Testing for Cyber-Physical Systems using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Training Towards Critical Use: Learning to Situate AI Predictions Relative to Human Knowledge.

[BibT_eX]

[DOI]

Proceedings of The ACM Collective Intelligence Conference, 2023

2022

Towards a Learner-Centered Explainable AI: Lessons from the learning sciences.

[BibT_eX]

[DOI]

CoRR, 2022

Understanding and Shifting Preferences for Battery Electric Vehicles.

[BibT_eX]

[DOI]

CoRR, 2022

Finding Label and Model Errors in Perception Data With Learned Observation Assertions.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Classification of Driving Behaviors Using STL Formulas: A Comparative Study.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Second-Order Sensitivity Analysis for Bilevel Optimization.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

2021

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

Accelerating Understanding of Scientific Experiments with End to End Symbolic Regression.

[BibT_eX]

[DOI]

CoRR, 2021

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles.

[BibT_eX]

[DOI]

CoRR, 2021

Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods.

[BibT_eX]

[DOI]

Karen Leung

Marco Pavone

Proceedings of the Algorithmic Foundations of Robotics XIV, 2021

Heteroskedastic and Imbalanced Deep Learning with Adaptive Regularization.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Interpretable Policies from Formally-Specified Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019

Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning.

[BibT_eX]

[DOI]

Xin Qin

Andrew Best

CoRR, 2019

Better AI through Logical Scaffolding.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Imbalanced Datasets with Label-Distribution-Aware Margin Loss.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Backpropagation for Parametric STL.

[BibT_eX]

[DOI]

Karen Leung

Marco Pavone

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Specifying Safety of Autonomous Vehicles in Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.

[BibT_eX]

[DOI]

Sicun Gao

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2017

Input Space Partitioning to Enable Massively Parallel Proof.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Learning-Based Abstractions for Nonlinear Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

2016

How to model and prove hybrid systems with KeYmaera: a tutorial on safety.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Efficient statistical validation of machine learning systems for autonomous driving.

[BibT_eX]

[DOI]

Weijing Shi

Mohamed Baker Alawieh

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Proving Critical Properties of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Forward invariant cuts to simplify proofs of safety.

[BibT_eX]

[DOI]

André Platzer

Bruce H. Krogh

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

Numerically-aided Deductive Safety Proof for a Powertrain Control System.

[BibT_eX]

[DOI]

André Platzer

Bruce H. Krogh

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Simulation-guided lyapunov analysis for hybrid dynamical systems.

[BibT_eX]

[DOI]

Sriram Sankaranarayanan

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Using verified control envelopes for safe controller design.

[BibT_eX]

[DOI]