2025-07-11 11:08 |
-
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
Chatterjee, K. ; Quatmann, T. ; Schäffeler, M. ; Weininger, M. (Corresponding author) ; ; et al
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule, Seiten/Artikel-Nr: 130-151
DOI: 10.1007/978-3-031-90653-4_7
Contribution to a book/Contribution to a conference proceedings
2025
|
2025-07-09 10:49 |
|
2025-07-08 09:35 |
|
2025-07-08 09:06 |
|
2025-07-07 11:42 |
|
2025-07-07 11:41 |
|
2025-07-07 11:40 |
|
2025-07-07 11:39 |
|
2025-07-07 11:38 |
|
2025-07-07 11:38 |
|
|
|