author | Eugen Sawin <sawine@me73.com> |
Tue, 28 Jun 2011 14:45:02 +0200 | |
changeset 15 | 8a3d0605adf5 |
parent 4 | 8057b328e9d3 |
child 28 | 27cac060f32e |
permissions | -rw-r--r-- |
1 Linear-Time Temporal Logic and Büchi Automata:
3 + examples
4 + referencing
5 - bad title
6 - syntax mixed with interpretation
7 - no introduction to omega-regular languages
8 - short introduction to LTL semantics
9 - no automata complement construction
10 - error on page 5: there must not be a state g in G along r
13 graphs:
15 + time progression, linear time ect.
16 + infinite words as functions
17 + ltl model as graph
18 + state space culling