Results on the quantitative μ-calculus qM μ

DOI10.1145/1182613.1182616zbMath1367.68199OpenAlexW2091027967MaRDI QIDQ5277768

Annabelle McIver, Carroll Morgan

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1182613.1182616

zbMATH Keywords

minimax theoremdenotational semanticsgame semanticsmodal mu-calculusprobabilistic choiceangelic choicedemonic choicequantitative aspects of programming languages

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

Automatic verification of concurrent stochastic systems ⋮ Unnamed Item ⋮ Automated Verification of Concurrent Stochastic Games ⋮ Symbolic verification and strategy synthesis for turn-based stochastic games ⋮ Unnamed Item ⋮ Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems ⋮ Automatic verification of competitive stochastic systems ⋮ Unnamed Item

This page was built for publication: Results on the quantitative μ-calculus qM μ