Hochschulschrift

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

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Leipzig, Univ., Diss., 2010

Schlagwort
Zeitbehafteter Automat
Gewichteter Automat
Echtzeitsystem
Regulärer Ausdruck
Monadische Logik
Büchi-Automat

Urheber

URN
urn:nbn:de:bsz:15-qucosa-38791
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:45 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

  • Hochschulschrift

Beteiligte

Ähnliche Objekte (12)

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

Hochschulschrift

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

Kleene type results for weighted tree automata

Hochschulschrift

Kleene type results for weighted tree automata

Kleene type results for weighted tree automata

Hochschulschrift | Online-Publikation

Kleene type results for weighted tree automata

Concurrent timed port automata

Concurrent timed port automata

Timed Automata Relaxation for Reachability

zweidimensionales bewegtes Bild

Timed Automata Relaxation for Reachability

Machine Learning of Timed Automata

Hochschulschrift

Machine Learning of Timed Automata

Learning One-Clock Timed Automata

zweidimensionales bewegtes Bild

Learning One-Clock Timed Automata

Learning One-Clock Timed Automata

Learning One-Clock Timed Automata

Machine learning of timed automata

Hochschulschrift

Machine learning of timed automata

Weighted restarting automata

Hochschulschrift

Weighted restarting automata

Verifying Opacity of Discrete-Timed Automata

Verifying Opacity of Discrete-Timed Automata

Directed model checking for timed automata

Hochschulschrift

Directed model checking for timed automata

Verbundene Objekte