Automata-theoretic techniques for temporal reasoning (2007) [1 citations — 0 self]
Download:
|
|
by Moshe Y. Vardi
In Handbook of Modal Logic
http://www.cs.rice.edu/~vardi/papers/mlhb06.ps.gz
Add To MetaCart
Abstract:
2.1 Words and Trees.......................................... 3 2.2 Nondeterministic Automata on Infinite Words......................... 4 2.3 Alternating Automata on Infinite Words............................ 4
Citations
| 356 | Symbolic Model Checking: 1020 States and Beyond – Burch, Clarke, et al. - 1990 |
| 241 | On a decision method in restricted second order arithmetic – Büchi - 1962 |
| 146 | Weak second–order arithmetic and finite automata. Zeitschrift für Mathematische Logik und Grundlagen der – Büchi - 1960 |
| 131 | The temnporal logic of branching time – Ben-Ari, Manna, et al. - 1983 |
| 48 | The ForSpec temporal logic: A new temporal property-specification language – Armoni, Fix, et al. - 2002 |
| 24 | Graph-Based Algorithms for BooleanFunction Manipulation – Bryant - 1986 |
| 22 | Logic and time – Burgess - 1979 |
| 22 | Expressibility results for linear-time and branching-time logics – Clarke, Draghicescu - 1988 |
| 20 | Finite automata and sequential networks – Brzozowski, Leiss - 1980 |
| 15 | Theories of automata on ω-tapes: A simplified approach – Choueka - 1974 |
| 9 | Regular vacuity – Bustan, Flaisher, et al. - 2005 |
| 6 | Resets vs. aborts in linear temporal logic – Armoni, Bustan, et al. - 2003 |
