Pareto Curves for Compositionally Model Checking String Diagrams of MDPs

Thumbnail
Fulltext:
306313.pdf
Size:
942.5Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2024
Author(s)
Watanabe, K.
Vegt, M.E.M. van der
Hasuo, I.
Rot, J.
Junges, S.
Publisher
Cham : Springer
ISBN
9783031572494
In
Lecture Notes in Computer Science, (2024)Finkbeiner, B. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II, pp. 279-298
ISSN
DOI
Annotation
TACAS 2024; ETAPS 2024
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/306313   https://hdl.handle.net/2066/306313
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.