
Pushdown module checking with imperfect information
Keywords: سیستم های بی نهایت; Pushdown model checking; Open systems; Infinite-state systems; Branching-time temporal-logics; Modal μ-calculus; Game theory