Research interests

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

Recent publications
  • Non-deterministic weighted automata evaluated over Markov chains.
    Jakub Michaliszyn, Jan Otop
    Accepted to JCSS (link
  • Quantitative Automata under Probabilistic Semantics.
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    LMCS 2019
  • Approximate Learning of Limit-Average Automata.
    Jakub Michaliszyn, Jan Otop
    CONCUR 2019
  • Long-Run Average Behavior of Vector Addition Systems with States.
    Krishnendu Chatterjee, Thomas A. Henzinger,  Jan Otop
    CONCUR 2019
  • Satisfiability versus Finite Satisfiability in Elementary Modal Logics.
    Jakub Michaliszyn, Jan Otop, Piotr Witkowski
    Fundamenta Informaticae 2018
  • Computing Average Response Time.
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Principles of Modeling 2018
  • Non-deterministic Weighted Automata on Random Words
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    CONCUR 2018

Research funding

Scientific duties

  • PC member of CONCUR 2020
  • PC member of UNIF 2016
  • External Review Committee CAV 2016

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