Concepedia

The complementation problem for Büchi automata with applications to temporal logic

A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper

Theoretical Computer Science · 1987 · 382 citations · 20 references

DOI

Concepts

References

20

Finite Automata and Their Decision Problems

M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations

, , +9

Decidability of second-order theories and automata on infinite trees.

Michael O. Rabin · Transactions of the American Mathematical Society · 1969 · 1.2K citations · Full text

, , +13

The complexity of propositional linear temporal logics

A. Prasad Sistla, E. M. Clarke · Journal of the ACM · 1985 · 1.1K citations · Full text

, , +12

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

, , +12

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

, , +14