Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2405.03885
Cited By
Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
6 May 2024
Tobias Meggendorfer
Maximilian Weininger
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games"
1 / 1 papers shown
Title
What Are the Odds? Improving the foundations of Statistical Model Checking
Tobias Meggendorfer
Maximilian Weininger
Patrick Wienhoft
39
4
0
08 Apr 2024
1
