| author | Eugen Sawin <sawine@me73.com> |
| Thu, 21 Jul 2011 00:47:13 +0200 | |
| changeset 62 | bb9b5ce427ae |
| parent 34 | 2b7dd89210c7 |
| permissions | -rw-r--r-- |
| sawine@1 | 1 |
Linear-Time Temporal Logic and Büchi Automata: |
| sawine@1 | 2 |
|
| sawine@1 | 3 |
+ examples |
| sawine@1 | 4 |
+ referencing |
| sawine@1 | 5 |
- bad title |
| sawine@1 | 6 |
- syntax mixed with interpretation |
| sawine@1 | 7 |
- no introduction to omega-regular languages |
| sawine@1 | 8 |
- short introduction to LTL semantics |
| sawine@4 | 9 |
- no automata complement construction |
| sawine@41 | 10 |
- on-the-fly construction is too short |
| sawine@28 | 11 |
|
| sawine@12 | 12 |
- error on page 5: there must not be a state g in G along r |
| sawine@28 | 13 |
- error on page 12: V : S -> 2^P |
| sawine@34 | 14 |
- error on page 15: dnf: Phi^+ -> set of subsets (power set) |
| sawine@1 | 15 |
|
| sawine@1 | 16 |
graphs: |
| sawine@1 | 17 |
|
| sawine@1 | 18 |
+ time progression, linear time ect. |
| sawine@1 | 19 |
+ infinite words as functions |
| sawine@1 | 20 |
+ ltl model as graph |
| sawine@4 | 21 |
+ state space culling |