- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Technische Universität Dresden, Dissertation, 2020
- Keyword
-
Robots
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2021
- Creator
-
Herrmann, Luisa
- Contributor
-
Vogler, Heiko
Vogler, Heiko
Rahonis, George
- URN
-
urn:nbn:de:bsz:14-qucosa2-740685
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Herrmann, Luisa
- Vogler, Heiko
- Rahonis, George
- Technische Universität Dresden
Time of origin
- 2021
Other Objects (12)
Weighted restarting automata
Handbook of weighted automata
Weighted automata, formal power series and weighted logic
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Finite Automata over Strong Bimonoids
Detectability of labeled weighted automata over monoids
Kleene type results for weighted tree automata
Multi-weighted Automata Models and Quantitative Logics
Kleene type results for weighted tree automata
Weighted restarting automata
Handbook of weighted automata
Weighted automata, formal power series and weighted logic
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Finite Automata over Strong Bimonoids
Detectability of labeled weighted automata over monoids
Kleene type results for weighted tree automata
Multi-weighted Automata Models and Quantitative Logics
Kleene type results for weighted tree automata
Weighted restarting automata
Handbook of weighted automata
Weighted automata, formal power series and weighted logic
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Finite Automata over Strong Bimonoids
Detectability of labeled weighted automata over monoids
Kleene type results for weighted tree automata
Multi-weighted Automata Models and Quantitative Logics