Alpaga: A Tool for Solving Parity Games with Imperfect Information-Reference-Cited by-同舟云学术

Alpaga: A Tool for Solving Parity Games with Imperfect Information

Published:2009 Issue: Volume: Page:58-61
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Berwanger Dietmar,Chatterjee Krishnendu,De Wulf Martin,Doyen Laurent,Henzinger Thomas A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00768-2_7

Reference5 articles.

1. Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., Henzinger, T.A.: Alpaga: A tool for solving parity games with imperfect information. Technical Report MTC-REPORT-2008-007, EPFL (2008), http://infoscience.epfl.ch/record/130681

2. Lecture Notes in Computer Science;D. Berwanger,2008

3. Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.-F.: Algorithms for omega-regular games of incomplete information. Logical Methods in Computer Science 3(3:4) (2007)

4. McNaughton, R.: Infinite games played on finite graphs. Annals of Pure and Applied Logic 65(2), 149–184 (1993)

5. Zielonka, W.: Infinite games on finitely coloured graphs with applications to automata on infinite trees. Theoretical Computer Science 200, 135–183 (1998)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Comparison of BDD-Based Parity Game Solvers;Electronic Proceedings in Theoretical Computer Science;2018-09-07

2. Looking at mean payoff through foggy windows;Acta Informatica;2017-10-11

3. Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints;IEEE Transactions on Automatic Control;2016-11

4. What is decidable about partially observable Markov decision processes with ω-regular objectives;Journal of Computer and System Sciences;2016-08

5. A Tool for the Automated Verification of Nash Equilibria in Concurrent Games;Theoretical Aspects of Computing - ICTAC 2015;2015