Kansikuva

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University...

Täydet tiedot

Tallennettuna:
Bibliografiset tiedot
Yhteisötekijä: SpringerLink (Online service)
Muut tekijät: Jansen, Nils (Toimittaja), Junges, Sebastian (Toimittaja), Kaminski, Benjamin Lucien (Toimittaja), Matheja, Christoph (Toimittaja), Noll, Thomas (Toimittaja), Quatmann, Tim (Toimittaja), Stoelinga, Mariëlle (Toimittaja), Volk, Matthias (Toimittaja)
Aineistotyyppi: Elektroninen E-kirja
Kieli:englanti
Julkaistu: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Painos:1st ed. 2025.
Sarja:Lecture Notes in Computer Science, 15261
Aiheet:
Computer science.
Software engineering.
Computer Science Logic and Foundations of Programming.
Theory of Computation.
Software Engineering.
Linkit:https://doi.org/10.1007/978-3-031-75775-4
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Sisällysluettelo:
  • Model Checking Applications
  • On Woolhouse’s Cotton-Spinning Problem
  • Algorithms for Robbins’ Problem using Markov Decision Processes
  • Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe
  • A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case
  • Riding the Storm in a Probabilistic Model Checking Landscape
  • Modest Models and Tools for Real Stochastic Timed Systems
  • Model Checking Techniques Analyzing Value Functions of States in Parametric Markov Chains
  • Expectation vs. Reality: Towards Verification of Psychological Games
  • Process Mining Meets Probabilistic Model Checking via Model & Logical Embeddings
  • Robustness analysis of probabilistic models with adversaries or strategic entities
  • A Scenario Approach for Parametric Markov Decision Processes
  • GPU Accelerating Statistical Model Checking for Extended Timed Automata
  • Model Checking Markov Chains as Distribution Transformers
  • Towards End-to-End GPU Acceleration of PCTL Model Checking
  • Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size
  • Model Checking and Strategy Synthesis with Abstractions and Certificates.

Samankaltaisia teoksia