@inproceedings{DDMR08c, author = "{De Wulf}, M. and Doyen, L. and Maquet, N. and Raskin, J.-F.", title = "Alaska: Antichains for Logic, Automata and Symbolic Kripke structures Analysis", booktitle = "ATVA: Automated Technology for Verification and Analysis", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", year = "2008", pages = "", isbn = "" } @incollection{BCDHR08, author = "Berwanger, D. and Chatterjee, K. and Doyen, L. and Henzinger, T.~A. and Raje, S.", title = "Strategy Construction for Parity Games with Imperfect Information", booktitle = "Proceedings of CONCUR 2008: Concurrency Theory", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", year = "2008", pages = "", isbn = "" } @inproceedings{DDMR08a, author = "{De Wulf}, M. and Doyen, L. and Maquet, N. and Raskin, J.-F.", title = "Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking", booktitle = "TACAS: Tools and Algorithms for the Construction and Analysis of Systems", series = "Lecture Notes in Computer Science 4963", publisher = "Springer-Verlag", year = "2008", pages = "63-77", isbn = "978-3-540-78799-0" } @incollection{DR07, author = "Doyen, L. and Raskin, J.-F.", title = "Improved algorithms for the automata based approach to model-checking", booktitle = "Proceedings of TACAS 2007: Tools and Algorithms for the Construction and Analysis of Systems", series = "Lecture Notes in Computer Science 4424", publisher = "Springer-Verlag", year = "2007", pages = "451-465", isbn = "3-540-71208-9" } @article{CDHR07, author = "Chatterjee, K. and Doyen, L. and Henzinger, T.~A. and Raskin, J.-F.", title = "Algorithms for Omega-regular Games of Incomplete Information", journal = "Logical Methods in Computer Science", publisher = "LMCS-Online", volume = "3", number = "3:4", year = "2007" } @incollection{CDHR06, author = "Chatterjee, K. and Doyen, L. and Henzinger, T. A. and Raskin, J.-F.", title = "Algorithms for Omega-regular games of Incomplete Information", booktitle = "Proceedings of CSL 2006: Computer Science Logic", series = "Lecture Notes in Computer Science 4207", publisher = "Springer-Verlag", year = "2006", pages = "287-302", isbn = "3-540-45458-8" } @incollection{DDHR06, author = "{De Wulf}, M. and Doyen, L. and Henzinger, T. A. and Raskin, J.-F.", title = "Antichains: A New Algorithm for Checking Universality of Finite Automata", booktitle = "Proceedings of CAV 2006: Computer-Aided Verification", series = "Lecture Notes in Computer Science 4144", publisher = "Springer-Verlag", year = "2006", pages = "17-30", isbn = "3-540-37406-0" } @incollection{DDR06, author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.", title = "A Lattice Theory for Solving Games of Imperfect Information", booktitle = "Proceedings of HSCC 2006: Hybrid Systems---Computation and Control", series = "Lecture Notes in Computer Science 3927", publisher = "Springer-Verlag", year = "2006", pages = "153--168", isbn = "3-540-33170-0" }