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)

Full work available at URL https://doi.org/10.1016/J.TCS.2018.06.016

zbMATH Keywords

abstract modelsconstraint programmingMarkov chainsparameter synthesisreachability

Mathematics Subject Classification ID

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

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)