Validation of Stochastic Systems

DOI10.1007/B98484zbMATH Open1203.68089OpenAlexW657718082MaRDI QIDQ5325833FDOQ5325833

Ana Sokolova, Erik de Vink

Publication date: 24 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98484

zbMATH Keywords

probabilistic automatanondeterminismprobabilistic bisimulationprobabilistic transition systemsparallel compositionpreservation and reflection of bisimulation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (26)

• Probabilistic Analysis of Binary Sessions
• \(L^\ast\)-based learning of Markov decision processes (extended version)
• Branching bisimulation congruence for probabilistic systems
• Switched PIOA: parallel composition via distributed scheduling
• Axiomatizations for probabilistic finite-state behaviors
• Title not available (Why is that?)
• Making random choices invisible to the scheduler
• SOS formats and meta-theory: 20 years after
• On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
• A hierarchy of probabilistic system types
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Equivalence checking 40 years after: a review of bisimulation tools
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• Compositional strategy synthesis for stochastic games with multiple objectives
• Weak bisimulation for probabilistic timed automata
• Task-structured probabilistic I/O automata
• The compositional construction of Markov processes II
• Causal Unfoldings
• Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations
• Determining asynchronous test equivalence for probabilistic processes
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
• The compositional construction of Markov processes
• A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
• Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems
• Conditional Probabilities over Probabilistic and Nondeterministic Systems

   Recommendations

• A hierarchy of probabilistic system types 👍 👎
• A hierarchy of probabilistic system types 👍 👎
• Probabilistic logical characterization 👍 👎
• Cost Preserving Bisimulations for Probabilistic Automata 👍 👎
• Bisimulations Meet PCTL Equivalences for Probabilistic Automata 👍 👎

This page was built for publication: Validation of Stochastic Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325833)