Principles of verification: cycling the probabilistic landscape

Jansen, Nils; Stoelinga, Mariëlle; Kaminski, Benjamin Lucien; Junges, Sebastian; Noll, Thomas; Quatmann, Tim; Volk, Matthias; Matheja, Christoph

doi:0302-9743

Principles of verification: cycling the probabilistic landscape, [Bd.] Part 1

Jansen, Nils (Editor) ; Junges, Sebastian (Editor) ; Kaminski, Benjamin Lucien (Editor) ; Matheja, Christoph (Editor) ; Noll, Thomas (Editor)^RWTH* ; Quatmann, Tim (Editor)^RWTH* ; Stoelinga, Mariëlle (Editor) ; Volk, Matthias (Editor)^RWTH*

2025 & 2024

VerantwortlichkeitsangabeNils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors

ImpressumCham : Springer

Umfangxix, 447 Seiten : Illustrationen, Diagramme

ISBN978-3-031-75782-2, 978-3-031-75783-9, 978-3-031-75784-6

ReiheLecture notes in computer science ; 15260

Published November 2024

Online
DOI: 10.1007/978-3-031-75783-9
10.1007/978-3-031-75783-9

Einrichtungen

Dokumenttyp
Book

Format
online, print

Sprache
English

Interne Identnummern
RWTH-2024-10968
Datensatz-ID: 996988

Beteiligte Länder
Germany, Netherlands

Related:

Contribution to a book Noll, T. (Corresponding author)RWTH* ; Gehnen, C. (Corresponding author)RWTH* ; Hermanns, R. (Corresponding author)RWTH*
Quantum Computing: From Weakest Preconditions to Voltage Pulses
2025Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15260, 201-229 (2025) [10.1007/978-3-031-75783-9_9]2025 Files BibTeX | EndNote: XML, Text | RIS

Contribution to a book Schroer, P.RWTH* ; Randone, F. ; Pardo, R. (Corresponding author) ; Wa̧sowski, A.
Symbolic Quantitative Information Flow for Probabilistic Programs
2025Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15260, 128-154 (2025) [10.1007/978-3-031-75783-9_6]2025 Files BibTeX | EndNote: XML, Text | RIS

Contribution to a book Batz, K.RWTH* ; Kaminski, B. L. (Corresponding author) ; Matheja, C. ; Winkler, T.RWTH*
J-P: MDP. FP. PP: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs
2025Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15260, 255-302 (2025) [10.1007/978-3-031-75783-9_11]2025 BibTeX | EndNote: XML, Text | RIS

Contribution to a book Giesl, J. (Corresponding author)RWTH* ; Kassing, J.-C. (Corresponding author)RWTH*
Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
2025Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15260, 339-366 (2025) [10.1007/978-3-031-75783-9_14]2025 BibTeX | EndNote: XML, Text | RIS

Contribution to a book Grohe, M. (Corresponding author)RWTH*
Some Thoughts on Graph Similarity
2025Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15260, 369-392 (2025) [10.1007/978-3-031-75783-9_15]2025 BibTeX | EndNote: XML, Text | RIS