Stochastic Games with Lossy Channels

DOI10.1007/978-3-540-78499-9_4MaRDI QIDQ5458349zbMATH OpenOpenAlexFDO

Authors Noomene Ben Henda, Luca De Alfaro, Sven Sandberg, Parosh A. Abdulla, Richard M. Mayr

Publication date 11 April 2008

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78499-9_4

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Stochastic games, stochastic differential games (91A15) Games involving graphs (91A43)

Recommendations

• Stochastic parity games on lossy channel systems
• Solving stochastic Büchi games on infinite arenas with a finite attractor
• Lossy channel games under incomplete information
• scientific article; zbMATH DE number 1759620
• Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties

Cites work

• Automata, Languages and Programming
• Automata, Languages and Programming
• Computer Science Logic
• Computer Science Logic
• Eager Markov Chains
• scientific article; zbMATH DE number 1956504 (Why is no real title available?)
• scientific article; zbMATH DE number 1956509 (Why is no real title available?)
• scientific article; zbMATH DE number 2038771 (Why is no real title available?)
• scientific article; zbMATH DE number 1759620 (Why is no real title available?)
• scientific article; zbMATH DE number 1863183 (Why is no real title available?)
• scientific article; zbMATH DE number 3240812 (Why is no real title available?)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Model Checking Probabilistic Pushdown Automata
• On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
• Ordering by Divisibility in Abstract Algebras
• Stochastic Games
• Stochastic Games with Lossy Channels
• The complexity of stochastic games
• Verifying lossy channel systems has nonprimitive recursive complexity.
• Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
• Verifying programs with unreliable channels

Cited in

(10)

• Computable fixpoints in well-structured symbolic model checking
• Stochastic parity games on lossy channel systems
• Lossy channel games under incomplete information
• A note on contribution games with loss functions
• Solving stochastic Büchi games on infinite arenas with a finite attractor
• Stochastic Games with Lossy Channels
• Probabilistic total store ordering
• Insuring against loss of evidence in game-theoretic probability
• Concurrent stochastic lossy channel games
• Qualitative reachability in stochastic BPA games

This page was built for publication: Stochastic Games with Lossy Channels

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