Home

Research interests

Automata theory, Weighted automata,
Verification, Quantitative model checking,
Automated deduction, Unification

Recent publications
  • Nested Weighted Automata
    Krishnendu Chatterjee,, Thomas A. Henzinger, Jan Otop
    Accepted to ACM TOCL
  • Average Stack Cost of Buechi Pushdown Automata
    Jakub Michaliszyn, Jan Otop
    FSTTCS 2017
  • Querying Best Paths in Graph Databases
    Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
    FSTTCS 2017
  • Model Measuring for Discrete and Hybrid Systems
    Thomas A. Henzinger, Jan Otop
    Nonlinear Analysis-Hybrid Systems, 2017
  • Edit Distance for Pushdown Automata
    Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
    LMCS 2017
  • Quantitative fair simulation games
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner
    Information and Computation
  • Bidirectional Nested Weighted Automata
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    CONCUR 2017
  • Quantitative Automata under Probabilistic Semantics
    Krishnendu Chatterjee, Thomas Henzinger, Jan Otop
    In Proceedings LICS, 2016.
  • Nested Weighted Limit-Average Automata of Bounded Width
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    In Proceedings MFCS, 2016.
  • Querying Data Graphs with Arithmetical Regular Expressions
    Maciej Grabon, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
    In Proceedings IJCAI, 2016.
  • Lipschitz Robustness of Timed I/O Systems
    Thomas A. Henzinger, Jan Otop, Roopsha Samanta
    In Proceedings VMCAI, 2016.
  • Quantitative Monitor Automata
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    In Proceedings SAS, 2016.
  • On the Decidability of Elementary Modal Logics
    Jakub Michaliszyn, Jan Otop, Emanuel Kieroński
    ACM Transactions on Computational Logic (TOCL) 17 (1) (2015)

Scientific duties

  • PC member of UNIF 2016
  • Local organizer and PC member on UNIF 2011
  • External Review Committee CAV 2016
Contact

Institute of Computer Science
University of Wrocław
ul. Joliot-Curie 15
PL-50-383 Wrocław, Poland
Phone: + 48 71 375 7833
Room no. 336

Comments