Verification of Open Interactive Markov Chains

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
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.