- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.1007/978-3-030-45190-5_25
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2020
- Creator
-
An, Jie
Chen, Mingshuai
Zhan, Bohua
Zhan, Naijun
Zhang, Miaomiao
- DOI
-
10.18154/RWTH-2020-04405
- URN
-
urn:nbn:de:101:1-2021012907080398989574
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:32 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
- An, Jie
- Chen, Mingshuai
- Zhan, Bohua
- Zhan, Naijun
- Zhang, Miaomiao
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2020
Other Objects (12)
Learning One-Clock Timed Automata
Monitoring CTMCs by Multi-clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Bounded DBM-based clock state construction for timed automata in Uppaal
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Temporal graph patterns by timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
Clock Bound Repair for Timed Systems
Learning One-Clock Timed Automata
Monitoring CTMCs by Multi-clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Bounded DBM-based clock state construction for timed automata in Uppaal
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Temporal graph patterns by timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
Clock Bound Repair for Timed Systems
Learning One-Clock Timed Automata
Monitoring CTMCs by Multi-clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Bounded DBM-based clock state construction for timed automata in Uppaal
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Temporal graph patterns by timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata