Monografie

Kleene-Schützenberger and Büchi theorems for weighted timed automata

zu Verbundenen Objekten

Sprache
Englisch
Anmerkungen
Leipzig, Univ., Diss., 2010
Identifier
100734959X

Thema
Zeitbehafteter Automat ; Gewichteter Automat ; Echtzeitsystem ; Regulärer Ausdruck ; Monadische Logik ; Büchi-Automat ; Hochschulschrift

Beteiligte Personen und Organisationen

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:58 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)

Kleene-Schützenberger and Büchi theorems for weighted timed automata

Monografie

Kleene-Schützenberger and Büchi theorems for weighted timed automata

Kleene type results for weighted tree automata

Monografie

Kleene type results for weighted tree automata

Learning One-Clock Timed Automata

Monografie

Learning One-Clock Timed Automata

Machine Learning of Timed Automata

Monografie

Machine Learning of Timed Automata

Machine learning of timed automata

Monografie

Machine learning of timed automata

Learning One-Clock Timed Automata

zweidimensionales bewegtes Bild

Learning One-Clock Timed Automata

Timed Automata Relaxation for Reachability

zweidimensionales bewegtes Bild

Timed Automata Relaxation for Reachability

Weighted restarting automata

Monografie

Weighted restarting automata

Directed model checking for timed automata

Monografie

Directed model checking for timed automata

Weighted Automata with Storage

Monografie

Weighted Automata with Storage

Handbook of weighted automata

Monografie

Handbook of weighted automata

Monitoring CTMCs by Multi-clock Timed Automata

Monografie

Monitoring CTMCs by Multi-clock Timed Automata

Verbundene Objekte