The satisfiability problem for probabilistic CTL

Tomáš Brázdil, Vojtěch Forejt, Jan Křetínský, Antonín Kučera

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

39 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „The satisfiability problem for probabilistic CTL“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Mathematics