Myopically Verifiable Probabilistic Certificates for Safe Control and Learning.
CoRR, 2024
Rethinking Safe Control in the Presence of Self-Seeking Humans.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
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