Monografie
Quantitative Analysis of Counterexample Generation for Automata Learning
- Language
-
Englisch
- Identifier
-
1216638500
- Contributor
- DOI
-
10.18154/RWTH-2020-06326
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:53 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.
Object type
- Monografie
Associated
- Le, Dan-Tuong
- Moerman, Joshua
- Katoen, Joost-Pieter
- Noll, Thomas
Other Objects (12)
Non monotonic learning automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Learning communicating and nondeterministic automata
Machine learning of timed automata
Learning One-Clock Timed Automata
Learning communicating and nondeterministic automata
Learning automata and stochastic optimization
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Learning probabilistic automata with SMT solving
Multi-weighted Automata Models and Quantitative Logics
Active automata learning for real life applications
Non monotonic learning automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Learning communicating and nondeterministic automata
Machine learning of timed automata
Learning One-Clock Timed Automata
Learning communicating and nondeterministic automata
Learning automata and stochastic optimization
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Learning probabilistic automata with SMT solving
Multi-weighted Automata Models and Quantitative Logics
Active automata learning for real life applications
Non monotonic learning automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Learning communicating and nondeterministic automata
Machine learning of timed automata
Learning One-Clock Timed Automata
Learning communicating and nondeterministic automata
Learning automata and stochastic optimization
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Learning probabilistic automata with SMT solving
Multi-weighted Automata Models and Quantitative Logics