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

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) 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 \(\mu\)-calculus
• Quantitative solution of \(\omega\)-regular games

Cited in

(13)

• A survey of stochastic -regular games
• Model checking games for the quantitative \(\mu\)-calculus
• Model checking games for the quantitative \(\mu \)-calculus
• Alternating good-for-MDPs automata
• Model checking discounted temporal properties
• The complexity of stochastic Müller games
• Results on the quantitative \(\mu\)-calculus \(qM\mu\)
• Nearest fixed points and concurrent priority games
• Preface
• scientific article; zbMATH DE number 1948152 (Why is no real title available?)
• Quantum mean-field games with the observations of counting type
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• 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)