scientific article; zbMATH DE number 1980933

MaRDI QIDQ4428307zbMATH OpenFDO

Authors Annabelle McIver, Carroll Morgan

Publication date 15 September 2003

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
• scientific article; zbMATH DE number 1948152 (Why is no real title available?)
• 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:

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