The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract)

Improved upper and lower bounds for modal logics of programs

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing

Markov decision processes and deterministic Büchi automata

Fundamenta Informaticae

Infinitary relations and their representation

Science of Computer Programming - Special issue on static analysis (SAS'99)

Specification and Verification of Real-Time Properties Using LOTOS and SQTL

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design

The power of first-order quantification over states in branching and linear time temporal logics

Information Processing Letters

From Church and Prior to PSL

25 Years of Model Checking

From Philosophical to Industrial Logics

ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications

Büchi Complementation and Size-Change Termination

TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,

Model checking almost all paths can be less expensive than checking all paths

FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science

From monadic logic to PSL

Pillars of computer science

Advanced Ramsey-based Büchi automata inclusion testing

CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory

Lower bounds for complementation of ω-automata via the full automata technique

ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II

Simulation subsumption in ramsey-based büchi automata universality and inclusion testing

CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification

Efficient büchi universality checking

TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Survey: Linear Temporal Logic Symbolic Model Checking

Computer Science Review

Markov Decision Processes and Deterministic Büchi Automata

Fundamenta Informaticae

Tightening the exchange rates between automata

CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic