Tata Institute of Fundamental Research
Automated Analysis of Probabilistic Infinite-state Systems
Seminar
Speaker:
Dominik Wojtczak (University of Liverpool
Department of Computer Science
Ashton Building
Ashton Street
Liverpool, L69 3BX
United Kingdom
)
Organiser:
Paritosh K Pandya
Date:
Friday, 10 May 2013, 14:30 to 15:30
Venue:
A-212 (STCS Seminar Room)
(Scan to add to calendar)
Abstract:
I will survey the state of the art in the automated analysis of several classes of probabilistic infinite-state systems which naturally arise when studying probabilistic programs with recursive calls, queueing systems, population dynamics and natural language processing. I will describe the relationships between these different models and recent developments in the computational complexity of their analysis. I will also briefly describe tool PReMo, which is able to analyse these models, along with some interesting performance results. (This talk is based on several joint papers with T. Brazdil, V. Brozek, K. Etessami, S. Kiefer, A. Kucera, and M. Yannakakis).
| Speaker: | Dominik Wojtczak (University of Liverpool Department of Computer Science Ashton Building Ashton Street Liverpool, L69 3BX United Kingdom ) |
| Organiser: | Paritosh K Pandya |
| Date: | Friday, 10 May 2013, 14:30 to 15:30 |
| Venue: | A-212 (STCS Seminar Room) |
(Scan to add to calendar)
Abstract:
I will survey the state of the art in the automated analysis of several classes of probabilistic infinite-state systems which naturally arise when studying probabilistic programs with recursive calls, queueing systems, population dynamics and natural language processing. I will describe the relationships between these different models and recent developments in the computational complexity of their analysis. I will also briefly describe tool PReMo, which is able to analyse these models, along with some interesting performance results. (This talk is based on several joint papers with T. Brazdil, V. Brozek, K. Etessami, S. Kiefer, A. Kucera, and M. Yannakakis).