Statistical Model Checking

MoGym: Using Formal Models for Training and Verifying Decision-making Agents

MoGym, is an integrated toolbox enabling the training and verification of machine-learned decision-making agents based on formal …

@inproceedings{grosMoGymUsingFormalModels2022,
 author = {Timo P. Gros and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Maximilian A Köhl and Verena Wolf},
 booktitle = {International Conference on Computer Aided Verification. International Conference on Computer Aided Verification (CAV)},
 doi = {10.1007/978-3-031-13188-2_21},
 isbn = {978-3-031-13188-2},
 organization = {Springer, Cham},
 pages = {430-443},
 publisher = {Springer Cham},
 title = {MoGym: Using Formal Models for Training and Verifying Decision-making Agents},
 year = {2022}
}