Jan Otop

Postdoctoral Researcher
Henzinger Group, IST Austria

Research

verification, quantitative model checking
rewriting, unification

Publications

  • Edit Distance for Pushdown Automata
    Krishnendu Chatterjee, Thomas Henzinger, Rasmus Ibsen-Jensen and Jan Otop
    To appear in Proceedings ICALP, 2015.
  • The Target Discounted-Sum Problem
    Udi Boker, Thomas A. Henzinger and Jan Otop
    To appear in Proceedings LICS, 2015.
  • Nested Weighted Automata
    Krishnendu Chatterjee, Thomas A. Henzinger and Jan Otop
    To appear in Proceedings LICS, 2015.
  • Lipschitz Robustness of Finite-state Transducers
    Thomas A. Henzinger, Jan Otop and Roopsha Samanta
    In Proceedings FSTTCS, 2014.
  • Model Measuring for Hybrid Systems
    Thomas A. Henzinger, Jan Otop
    In Proceedings HSCC, 2014.
  • Distributed Synthesis for LTL Fragments
    Krishnendu Chatterjee, Thomas Henzinger, Jan Otop and Andreas Pavlogiannis
    In Proceedings FMCAD, 2013.
  • Elementary Modal Logics over Transitive Structures
    Jakub Michaliszyn, Jan Otop
    In Proceedings CSL, 2013.
  • From Model Checking to Model Measuring
    Thomas A. Henzinger, Jan Otop
    In Proceedings CONCUR, 2013.
  • Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
    Jakub Michaliszyn, Jan Otop and Piotr Witkowski
    In Proceedings GANDALF, 2012.
  • Decidable Elementary Modal Logics
    Jakub Michaliszyn, Jan Otop
    In Proceedings LICS, 2012.
  • E-unification with Constants vs. General E-unification
    Jan Otop
    Journal of Automated Reasoning Vol. 48(3): pp 363-390 (2012)
  • Modal Logics Definable by Universal Three-Variable Formulas
    Jakub Michaliszyn, Emanuel Kieroński and Jan Otop
    In Proceedings FSTTCS, 2011.
  • Unification of anti-terms
    Jan Otop
    In Proceedings UNIF, 2011.
  • Solution to some right alternative ring problems
    Jan Otop
    In Proceedings DISPROVING, 2007.
  • On a Semantic Subsumption Test
    Jerzy Marcinkowski, Jan Otop, Grzegorz Stelmaszek
    In Proceedings LPAR, 2005.