Record link: 
http://hdl.handle.net/20.500.12708/208023
-
Title: 
A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case
en
Citation: 
Bartocci, E., Desharnais, J., Lindner, P., & Sokolova, A. (2025). A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case. In N. Jansen, S. Junges, B. L. Kaminski, C. Matheja, T. Noll, T. Quatmann, M. Stoelinga, & M. Volk (Eds.), Principles of Verification: Cycling the Probabilistic Landscape (Vol. 15261, pp. 75–97). Springer. https://doi.org/10.1007/978-3-031-75775-4_4
-
Publisher DOI: 
10.1007/978-3-031-75775-4_4
-
Publication Type: 
Book Contribution - Edited Volume Contribution
en
Language: 
English
-
Authors: 
Bartocci, Ezio 
Desharnais, Josée 
Lindner, Peter 
Sokolova, Ana 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Published in: 
Principles of Verification: Cycling the Probabilistic Landscape 
-
Date (published): 
2025
-
Number of Pages: 
23
-
Publisher: 
Springer
-
Peer reviewed: 
Yes
-
Keywords: 
Model Checking; Markov Chains; Markov Decision Process; Cluedo Game
en
Project title: 
Distribution Recovery for Invariant Generation of Probabilistic Programs: ICT19-018 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 50%
2020 - Elektrotechnik, Elektronik, Informationstechnik: 40%
1010 - Mathematik: 10%
-
Appears in Collections:
Book Contribution

Show full item record

Page view(s)

9
checked on Jan 8, 2025

Download(s)

1
checked on Jan 8, 2025

Google ScholarTM

Check