Prediction and Control of Stochastic Agents Using Formal Methods.

Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler

Browse the full CAV paper archive.