![]() | ![]() |
2009 | ||
---|---|---|
4 | EE | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games. STACS 2009: 207-218 |
2007 | ||
3 | EE | Jan Obdrzálek: Clique-Width and Parity Games. CSL 2007: 54-68 |
2006 | ||
2 | EE | Jan Obdrzálek: DAG-width: connectivity measure for directed graphs. SODA 2006: 814-821 |
2003 | ||
1 | EE | Jan Obdrzálek: Fast Mu-Calculus Model Checking when Tree-Width Is Bounded. CAV 2003: 80-92 |
1 | Tomás Brázdil | [4] |
2 | Václav Brozek | [4] |
3 | Antonín Kucera | [4] |