Hochschulschrift
Kleene-Schützenberger and Büchi theorems for weighted timed automata
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832525002
- Maße
-
21 cm
- Umfang
-
V, 123 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Leipzig, Univ., Diss., 2010
- Schlagwort
-
Zeitbehafteter Automat
Gewichteter Automat
Echtzeitsystem
Regulärer Ausdruck
Monadische Logik
Büchi-Automat
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Quaas, Karin
- Logos
Entstanden
- 2010
Ähnliche Objekte (12)
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Kleene type results for weighted tree automata
Kleene type results for weighted tree automata
Concurrent timed port automata
Buffered Simulation for Büchi Automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Machine learning of timed automata
Weighted restarting automata
Partially ordered two-way Büchi automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Kleene type results for weighted tree automata
Kleene type results for weighted tree automata
Concurrent timed port automata
Buffered Simulation for Büchi Automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Machine learning of timed automata
Weighted restarting automata
Partially ordered two-way Büchi automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Kleene type results for weighted tree automata
Kleene type results for weighted tree automata
Concurrent timed port automata
Buffered Simulation for Büchi Automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Machine learning of timed automata
Weighted restarting automata