Pushdown module checking with imperfect information

DOI10.1016/j.ic.2012.11.005zbMath1282.68166OpenAlexW2281681012MaRDI QIDQ1951589

Benjamin Aminof, Moshe Y. Vardi, Olivier Serre, Axel Legay, Aniello Murano

Publication date: 6 June 2013

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.11.005

zbMATH Keywords

game theoryinfinite-state systemsopen systemsmodal \(\mu \)-calculusbranching-time temporal-logicspushdown model checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Ordered multi-stack visibly pushdown automata ⋮ Automata-theoretic decision of timed games ⋮ Reasoning About Strategies ⋮ Reasoning about graded strategy quantifiers ⋮ Unnamed Item ⋮ Model checking properties on reduced trace systems

This page was built for publication: Pushdown module checking with imperfect information