First Page | Document Content | |
---|---|---|
![]() Date: 2015-09-21 11:27:16Finite automata Model checking -automaton Generalized Bchi automaton Bchi automaton Buchi Muller automaton Automata theory | Add to Reading List |
![]() | Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in PhilosophyDocID: 1xTrB - View Document |
![]() | ¨ Solving Stochastic Buchi Games on Infinite Arenas with a Finite Attractor∗ Nathalie BertrandDocID: 1vlE8 - View Document |
![]() | Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIKDocID: 1vezw - View Document |
![]() | Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIKDocID: 1vczb - View Document |
![]() | Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIKDocID: 1uHOr - View Document |