Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2023
- Urheber
- DOI
-
10.18154/RWTH-2023-08112
- URN
-
urn:nbn:de:101:1-2406040136285.207224005602
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:01 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.
Beteiligte
- Delicaris, Joanna
- Schupp, Stefan
- Ábrahám, Erika
- Remke, Anne
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2023
Ähnliche Objekte (12)
Maximizing reachability probabilities in rectangular automata with random events
Clocks
Clocks
Reachability switching games
Flying Clocks - The clocks of Drosophila
Circadian clocks
Clocks II
Insect clocks
Insect clocks
Cellular clocks
Algorithms for reachability problems
Timed Automata Relaxation for Reachability
Maximizing reachability probabilities in rectangular automata with random events
Clocks
Clocks
Reachability switching games
Flying Clocks - The clocks of Drosophila
Circadian clocks
Clocks II
Insect clocks
Insect clocks
Cellular clocks
Algorithms for reachability problems
Timed Automata Relaxation for Reachability
Maximizing reachability probabilities in rectangular automata with random events
Clocks
Clocks
Reachability switching games
Flying Clocks - The clocks of Drosophila
Circadian clocks
Clocks II
Insect clocks
Insect clocks
Cellular clocks
Algorithms for reachability problems