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-11 09:53 |
|
2025-07-08 09:47 |
|
2025-07-08 09:31 |
|
2025-07-08 08:00 |
|
2025-07-07 11:24 |
|
2025-07-07 11:18 |
|
2025-07-03 13:13 |
|
2025-07-01 15:24 |
|
2025-07-01 13:51 |
|
|
|