Quantitative model-checking of controlled discrete-time Markov processes

Amsterdam / Elsevier (2016, 2017) [Fachzeitschriftenartikel]

Information and Computation
Band: 253
Ausgabe: Part 1
Seite(n): 1-35

Autorinnen und Autoren

Autorinnen und Autoren

Tkachev, Ilya
Mereacre, Alexandru
Katoen, Joost-Pieter
Abate, Alessandro

Identifikationsnummern