Pushdown module checking with imperfect information
From MaRDI portal
Publication:1951589
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
game theoryinfinite-state systemsopen systemsmodal \(\mu \)-calculusbranching-time temporal-logicspushdown model checking
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
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