Verification of open interactive Markov chains

  • Tomáš Brázdil
  • , Holger Hermanns
  • , Jan Krčál
  • , Jan Křetínský
  • , Vojtěch Řehák

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

13 Scopus citations

Fingerprint

Dive into the research topics of 'Verification of open interactive Markov chains'. Together they form a unique fingerprint.

Keyphrases

Computer Science