Verification of Probabilistic Recursive Sequential Programs – RNDr. Tomáš Brázdil, Ph.D.
RNDr. Tomáš Brázdil, Ph.D.
Disertační práce
Verification of Probabilistic Recursive Sequential Programs
Verification of Probabilistic Recursive Sequential Programs
Abstract:
This work studies algorithmic verification of infinite-state probabilistic systems generated by probabilistic pushdown automata (pPDA). Probabilistic pushdown automata are obtained as a probabilistic variant of pushdown automata that proved to be a successful abstract model of recursive sequential programs. The main aim of this work is to study decidability and complexity of the problem whether a given …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 20. 4. 2007
Identifikátor:
https://is.muni.cz/th/pxz9s/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 4. 2007
- Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyDoktorský studijní program / obor:
Informatika / Informatika