Cited By
View all- Hartmanns AKohlen BLammich P(2024)Efficient Formally Verified Maximal End Component Decomposition for MDPsFormal Methods10.1007/978-3-031-71162-6_11(206-225)Online publication date: 9-Sep-2024
- Meggendorfer TWeininger M(2024)Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic GamesComputer Aided Verification10.1007/978-3-031-65633-0_16(359-372)Online publication date: 24-Jul-2024
- Azeem MEvangelidis AKřetínský JSlivinskiy AWeininger M(2022)Optimistic and Topological Value Iteration for Simple Stochastic GamesAutomated Technology for Verification and Analysis10.1007/978-3-031-19992-9_18(285-302)Online publication date: 25-Oct-2022