`Travelled to:`

2 × Japan

`Collaborated with:`

M.Henzinger K.Chatterjee S.Krinninger W.Dvorák S.Oraee V.Toman

`Talks about:`

algorithm (3) symbol (2) object (2) improv (2) pair (2) streett (1) quadrat (1) process (1) connect (1) vertex (1)

## Person: Veronika Loitzenbauer

### DBLP: Loitzenbauer:Veronika

### Contributed to:

### Wrote 4 papers:

- ICALP-v1-2015-HenzingerKL #component #polynomial
- Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time (MH, SK, VL), pp. 713–724.
- LICS-2015-ChatterjeeHL #algorithm
- Improved Algorithms for One-Pair and k-Pair Streett Objectives (KC, MH, VL), pp. 269–280.
- CSL-2017-ChatterjeeDHL #algorithm #game studies
- Improved Set-Based Symbolic Algorithms for Parity Games (KC, WD, MH, VL), p. 21.
- CAV-2018-ChatterjeeHLOT #algorithm #graph #markov #process
- Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives (KC, MH, VL, SO, VT), pp. 178–197.