`Travelled to:`

1 × Croatia

1 × Italy

2 × Japan

`Collaborated with:`

J.Michaliszyn T.A.Henzinger K.Chatterjee U.Boker R.Ibsen-Jensen

`Talks about:`

elementari (2) automata (2) modal (2) logic (2) structur (1) pushdown (1) discount (1) transit (1) problem (1) distanc (1)

## Person: Jan Otop

### DBLP: Otop:Jan

### Contributed to:

### Wrote 5 papers:

- ICALP-v2-2015-ChatterjeeHIO #automaton #distance #edit distance
- Edit Distance for Pushdown Automata (KC, TAH, RIJ, JO), pp. 121–133.
- LICS-2015-BokerHO #problem
- The Target Discounted-Sum Problem (UB, TAH, JO), pp. 750–761.
- LICS-2015-ChatterjeeHO #automaton
- Nested Weighted Automata (KC, TAH, JO), pp. 725–737.
- CSL-2013-MichaliszynO #logic #transitive
- Elementary Modal Logics over Transitive Structures (JM, JO), pp. 563–577.
- LICS-2012-MichaliszynO #decidability #logic
- Decidable Elementary Modal Logics (JM, JO), pp. 491–500.