A Practitioner's Guide to MDP Model Checking Algorithms

Thumbnail
Fulltext:
292364.pdf
Size:
670.0Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2023
Author(s)
Hartmanns, A.
Junges, S.
Quatmann, T.
Weininger, M.
Publisher
Cham : Springer Nature Switzerland
ISBN
9783031308239
In
Lecture Notes in Computer Science, (2023)Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I, pp. 469-488
Conference location
Paris
ISSN
DOI
Annotation
TACAS 2023
Publication type
Article in monograph or in proceedings
Related datasets
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/292364   https://hdl.handle.net/2066/292364
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.