RPrIC3: PrIC3 for expected rewards
Gallus, Adrian; Batz, Kevin (Thesis advisor); Joost, Pieter (Thesis advisor); Noll, Thomas (Thesis advisor)
Aachen (2020)
Bachelorarbeit
Bachelorarbeit, RWTH Aachen University, 2020
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-2020-10837