Invited Speaker

Antonin Kucera (Brno, Czech Republic) Methods for Quantitative Analysis of Probabilistic Pushdown Automata