Certification for $$\mu $$ μ -Calculus with Winning Strategies
From MaRDI portal
Publication:2814623
DOI10.1007/978-3-319-32582-8_8zbMath1354.68174arXiv1401.1693OpenAlexW1580864274MaRDI QIDQ2814623
Harald Ruess, Martin Hofmann, Christian Neukirchen
Publication date: 22 June 2016
Published in: Model Checking Software (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.1693
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items