Learning probabilistic automata with SMT solving
Veltri, Dario; Moerman, Joshua (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor)
Aachen : RWTH Aachen University (2021)
Bachelorarbeit
Bachelorarbeit, RWTH Aachen University, 2021
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- DOI: 10.18154/RWTH-2021-03668
- RWTH PUBLICATIONS: RWTH-2021-03668