Fingerprint
Dive into the research topics of 'The satisfiability problem for probabilistic CTL'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The satisfiability problem for probabilistic CTL
- Tomáš Brázdil
- , Vojtěch Forejt
- , Jan Křetínský
- , Antonín Kučera
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
41
Scopus
citations