- 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
- Contributor
-
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
-
14.08.2025, 11:03 AM CEST
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 Tree Automata with Constraints
Weighted restarting automata
Handbook of weighted automata
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Weighted automata, formal power series and weighted logic
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Finite Automata over Strong Bimonoids
Kleene type results for weighted tree automata
Multi-weighted Automata Models and Quantitative Logics
Weighted branching automata : combining concurrency and weights
Weighted Tree Automata with Constraints
Weighted restarting automata
Handbook of weighted automata
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Weighted automata, formal power series and weighted logic
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Finite Automata over Strong Bimonoids
Kleene type results for weighted tree automata
Multi-weighted Automata Models and Quantitative Logics
Weighted branching automata : combining concurrency and weights
Weighted Tree Automata with Constraints
Weighted restarting automata
Handbook of weighted automata
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Weighted automata, formal power series and weighted logic
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Finite Automata over Strong Bimonoids
Kleene type results for weighted tree automata
Multi-weighted Automata Models and Quantitative Logics