Abstraction-Based Decision Making for Statistical Properties (Invited Talk).

Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik

Browse the full FSCD paper archive.