A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 3-15, Springer, 2023. [doi]

This author has not been identified. Look up 'Rupak Majumdar' in GoogleThis author has not been identified. Look up 'Kaushik Mallik' in GoogleThis author has not been identified. Look up 'Mateusz Rychlicki' in GoogleThis author has not been identified. Look up 'Anne-Kathrin Schmuck' in GoogleThis author has not been identified. Look up 'Sadegh Soudjani' in Google

runs on WebDSL