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

researchr

You are not signed in
Sign in
Sign up

Timo P. Gros, Holger Hermanns, Jörg Hoffmann 0001, Michaela Klauck, Maximilian A. Köhl, Verena Wolf. MoGym: Using Formal Models for Training and Verifying Decision-making Agents. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Volume 13372 of Lecture Notes in Computer Science, pages 430-443, Springer, 2022. [doi]

This author has not been identified. Look up 'Timo P. Gros' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Jörg Hoffmann 0001' in GoogleThis author has not been identified. Look up 'Michaela Klauck' in GoogleThis author has not been identified. Look up 'Maximilian A. Köhl' in GoogleThis author has not been identified. It may be one of the following persons:

Verena Wolf

Look up 'Verena Wolf' in Google

runs on WebDSL