Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Alberto L. Sangiovanni-Vincentelli"'
Autor:
Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Publikováno v:
Computer Aided Verification ISBN: 9783540600459
CAV
CAV
In this paper the branching time logic pCTL* is defined. pCTL* expresses quantitative bounds on the probabilities of correct behavior; it can be interpreted over discrete Markov processes. A bisimulation relation is defined on finite Markov processes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67883d166de9e0af16966cc1da773b56
https://doi.org/10.1007/3-540-60045-0_48
https://doi.org/10.1007/3-540-60045-0_48