|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Model Checking Probabilistic Pushdown Automata
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Javier Esparza, Antonín Kučera, and Richard Mayr. Model checking probabilistic pushdown automata. Technical report, Faculty of Informatics, Masaryk University, Brno, 2004.
Suggested BibTeX entry:
@techreport{EKM04rep,
author = {Javier Esparza and Anton\'{\i}n Ku\v{c}era and Richard Mayr},
institution = {Faculty of Informatics, Masaryk University, Brno},
title = {Model Checking Probabilistic Pushdown Automata},
year = {2004}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|