Reachability in parametric interval Markov chains using constraints

DOI10.1016/J.TCS.2018.06.016MaRDI QIDQ6827805zbMATH OpenFDO

Authors Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, Charlotte Truchet

Publication date 24 September 2018

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Markov chainsconstraint programmingreachabilityparameter synthesisabstract models

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Reachability in parametric interval Markov chains using constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6827805)