- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: 10.1016/J.SCICO.2024.103213
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2024
- Creator
- DOI
-
10.18154/RWTH-2024-12144
- URN
-
urn:nbn:de:101:1-2412240057234.937145126123
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 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
- Delicaris, Joanna
- Remke, Anne
- Ábrahám, Erika
- Schupp, Stefan
- Stubbe, Jonas
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2024
Other Objects (12)
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Timed Automata Relaxation for Reachability
Reachability Problems on Reliable and Lossy Queue Automata
Reachability problems on reliable and lossy queue automata
Reachability analysis of reversal-bounded automata on series–parallel graphs
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Reachability switching games
Algorithms for reachability problems
Reachability matrices and cyclic matrices
Counterexamples for Timed Probabilistic Reachability
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Timed Automata Relaxation for Reachability
Reachability Problems on Reliable and Lossy Queue Automata
Reachability problems on reliable and lossy queue automata
Reachability analysis of reversal-bounded automata on series–parallel graphs
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Reachability switching games
Algorithms for reachability problems
Reachability matrices and cyclic matrices
Counterexamples for Timed Probabilistic Reachability
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Timed Automata Relaxation for Reachability
Reachability Problems on Reliable and Lossy Queue Automata
Reachability problems on reliable and lossy queue automata
Reachability analysis of reversal-bounded automata on series–parallel graphs
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Reachability switching games
Algorithms for reachability problems
Reachability matrices and cyclic matrices