Author:
Aminof Benjamin,Legay Axel,Murano Aniello,Serre Olivier,Vardi Moshe Y.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference43 articles.
1. Analysis of recursive state machines;Alur;ACM Trans. Program. Lang. Syst.,2005
2. Model checking of hierarchical state machines;Alur;ACM Trans. Program. Lang. Syst.,2001
3. Improved model checking of hierarchical systems;Aminof;Inform. and Comput.,2012
4. Pushdown module checking with imperfect information;Aminof,2007
5. Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, μ-calculus pushdown module checking with imperfect state information, in: IFIP TCS, 2008, pp. 333–348.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HYASM: A Tool to Verify Hierarchical Systems;2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2023-12-14
2. How Good Is a Strategy in a Game with Nature?;ACM Transactions on Computational Logic;2020-07-31
3. Winning Strategies for Streaming Rewriting Games;Fundamentals of Computation Theory;2019
4. Reasoning about graded strategy quantifiers;Information and Computation;2018-04
5. On the Complexity of ATL and ATL* Module Checking;Electronic Proceedings in Theoretical Computer Science;2017-09-06