Minimization of Probabilistic Models of Programs
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605523274 | ||
| 003 | CHVBK | ||
| 005 | 20210128100748.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20151201xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10958-015-2611-2 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10958-015-2611-2 | ||
| 245 | 0 | 0 | |a Minimization of Probabilistic Models of Programs |h [Elektronische Daten] |c [A. Mironov, S. Frenkel] |
| 520 | 3 | |a In this paper, we consider a problem of reduction of probabilistic transition systems (PTS) in order to reduce the complexity of model checking of such systems. The problem of model checking of a PTS is to calculate truth values of formulas of the probabilistic temporal logic PCTL in an initial state of the PTS. We introduce the concept of equivalence of states of a PTS and present an algorithm for removing equivalent states. A result of this algorithm is a PTS such that all of its properties expressed by formulas of PCTL coincide with those of the original PTS. | |
| 540 | |a Springer Science+Business Media New York, 2015 | ||
| 700 | 1 | |a Mironov |D A. |u The Institute of Informatics Problems of the Russian Academy of Sciences, Moscow, Russia |4 aut | |
| 700 | 1 | |a Frenkel |D S. |u The Institute of Informatics Problems of the Russian Academy of Sciences, Moscow, Russia |4 aut | |
| 773 | 0 | |t Journal of Mathematical Sciences |d Springer US; http://www.springer-ny.com |g 211/3(2015-12-01), 381-412 |x 1072-3374 |q 211:3<381 |1 2015 |2 211 |o 10958 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10958-015-2611-2 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10958-015-2611-2 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Mironov |D A. |u The Institute of Informatics Problems of the Russian Academy of Sciences, Moscow, Russia |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Frenkel |D S. |u The Institute of Informatics Problems of the Russian Academy of Sciences, Moscow, Russia |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Journal of Mathematical Sciences |d Springer US; http://www.springer-ny.com |g 211/3(2015-12-01), 381-412 |x 1072-3374 |q 211:3<381 |1 2015 |2 211 |o 10958 | ||