Showing 1 - 3 results of 3 for search 'Jan Otop', query time: 0.02s Refine Results
  1. 1
    Modular Path Queries with Arithmetic

    Modular Path Queries with Arithmetic by Jakub Michaliszyn, Jan Otop, Piotr Wieczorek

    Published 2021-09-01
    Get full text
    Article
  2. 2
    Quantitative Automata under Probabilistic Semantics

    Quantitative Automata under Probabilistic Semantics by Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

    Published 2019-08-01
    Get full text
    Article
  3. 3
    Edit Distance for Pushdown Automata

    Edit Distance for Pushdown Automata by Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop

    Published 2017-09-01
    Get full text
    Article

Search Tools: