![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Pushdown module checking with imperfect information
Keywords: سیستم های بی نهایت; Pushdown model checking; Open systems; Infinite-state systems; Branching-time temporal-logics; Modal μ-calculus; Game theory