Searching for authors named "Carsten Fritz" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Concepts of automata construction from LTL
- …Concepts of Automata Construction from LTL –Technical Report– Carsten Fritz Institut für…
- Cited by 1 (0 self) – Add To MetaCart
-
Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
- … Büchi Automata ⋆ Carsten Fritz Institut für Informatik und Praktische Mathematik, CAU Kiel, Germany…
- Cited by 18 (1 self) – Add To MetaCart
-
State Space Reductions for Alternating Büchi Automata: Quotienting by Simulation Equivalences
- … Carsten Fritz and Thomas Wilke Institut für Informatik und Praktische Mathematik Christian…
- Cited by 9 (0 self) – Add To MetaCart
-
Simulation Relations for Alternating Büchi Automata
- …Simulation Relations for Alternating Bchi Automata Extended Technical Report Carsten Fritz…
- Cited by 1 (0 self) – Add To MetaCart
-
der Technischen Fakultät der Christian-Albrechts-Universität zu Kiel
- …-Albrechts-Universität zu Kiel Carsten Fritz Kiel 2005 1. Gutachter Prof. Dr. Thomas Wilke 2. Gutachter Prof. Dr. Willem…
- Add To MetaCart
Showing 1 through 5.
