Keyword:Model Checking.

Publications
Prediction and Control of Stochastic Agents Using Formal Methods Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina and Hillel Kugler In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems