2024
Myopically Verifiable Probabilistic Certificates for Safe Control and Learning.
CoRR, 2024

2023
Rethinking Safe Control in the Presence of Self-Seeking Humans.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Adaptive Safe Control for Driving in Uncertain Environments.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

Probabilistic Safety Certificate for Multi-agent Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Myopically Verifiable Probabilistic Certificate for Long-term Safety.
Proceedings of the American Control Conference, 2022