| author | Eugen Sawin <sawine@me73.com> |
| Tue, 12 Jul 2011 13:43:09 +0200 | |
| changeset 37 | 7b80e38fb6e8 |
| parent 28 | 27cac060f32e |
| child 41 | 2309d82bb4a7 |
| 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
11 - error on page 5: there must not be a state g in G along r
12 - error on page 12: V : S -> 2^P
13 - error on page 15: dnf: Phi^+ -> set of subsets (power set)
15 graphs:
17 + time progression, linear time ect.
18 + infinite words as functions
19 + ltl model as graph
20 + state space culling