Publication details

Verification of Open Interactive Markov Chains

Authors

BRÁZDIL Tomáš HERMANNS Holger KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

Year of publication 2012
Type Article in Proceedings
Conference IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
MU Faculty or unit

Faculty of Informatics

Citation
Web http://drops.dagstuhl.de/opus/volltexte/2012/3882
Doi http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474
Field Informatics
Keywords IMC;compositional verification;synthesis;time bounded reachability;discretization
Description Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info