Games, probability, and the quantitative -calculus qM

DOI10.1007/3-540-36078-6_20MaRDI QIDQ4428307zbMATH OpenFDO

Authors Annabelle McIver, Carroll Morgan

Publication date 15 September 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2514/25140292.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Results on the quantitative \(\mu\)-calculus \(qM\mu\)
• Model checking games for the quantitative \(\mu\)-calculus
• Model checking games for the quantitative \(\mu \)-calculus
• On the equivalence of game and denotational semantics for the probabilistic -calculus
• Quantitative solution of -regular games

Cited in

(17)

• Model checking games for the quantitative \(\mu \)-calculus
• Quantum mean-field games with the observations of counting type
• Model checking discounted temporal properties
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Nearest fixed points and concurrent priority games
• A survey of stochastic -regular games
• The complexity of stochastic Müller games
• -calculus via games (extended abstract)
• Model checking games for the quantitative \(\mu\)-calculus
• Results on the quantitative \(\mu\)-calculus \(qM\mu\)
• Preface
• Alternating good-for-MDPs automata
• PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
• Quantitative verification with neural networks
• A novel stochastic game via the quantitative -calculus
• Quantitative verification with neural networks
• Reduction of stochastic parity to stochastic mean-payoff games

This page was built for publication: Games, probability, and the quantitative \(\mu\)-calculus \(qM\mu\)

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