author | Eugen Sawin <sawine@me73.com> |
Sun, 29 May 2011 19:36:23 +0200 | |
changeset 6 | 3dcf7966592d |
parent 1 | f8e63d191537 |
child 12 | 153633379524 |
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@1 | 10 |
|
sawine@1 | 11 |
|
sawine@1 | 12 |
|
sawine@1 | 13 |
graphs: |
sawine@1 | 14 |
|
sawine@1 | 15 |
+ time progression, linear time ect. |
sawine@1 | 16 |
+ infinite words as functions |
sawine@1 | 17 |
+ ltl model as graph |
sawine@4 | 18 |
+ state space culling |