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