2025-07-14 12:12 |
|
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-10 13:43 |
|
2025-07-10 13:39 |
|
2025-07-10 13:35 |
|
2025-07-10 13:28 |
|
2025-07-10 10:45 |
|
2025-07-10 10:29 |
|
2025-07-10 09:23 |
|
2025-07-09 10:49 |
|
|
|