Game Development Reference
In-Depth Information
M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program
verification (preliminary report). In Proceedings, Symposium on Logic in
Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA , pages
332-344. IEEE Computer Society, 1986.
I. Walukiewicz. Pushdown processes: Games and model checking. In Proceedings of
the 8th International Conference on Computer Aided Verification, CAV '96 ,
volume 1102 of Lecture Notes in Computer Science , pages 62-74. Springer,
W. Zielonka. Infinite games on finitely coloured graphs with applications to automata
on infinite trees. Theoretical Computer Science , 200(1-2):135-183, 1998.
Search Nedrilad ::

Custom Search