Risk of Stochastic Systems for Temporal Logic Specifications.
ACM Trans. Embed. Comput. Syst., 2023
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations.
CoRR, 2021
Traffic Forecasting using Vehicle-to-Vehicle Communication.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021