scientific article; zbMATH DE number 1980933

zbMATH Open1023.68064MaRDI QIDQ4428307FDOQ4428307

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

• A survey of stochastic \(\omega \)-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
• Results on the quantitative \(\mu\)-calculus \(qM\mu\)
• The complexity of stochastic Müller games
• Nearest fixed points and concurrent priority games
• Preface
• Title not available (Why is that?)
• 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)