pith. sign in

Jan Otop

Identifiers

  • name variant Jan Otop 0.60 · backfill

Papers (12)

  1. Learning Tree Automata with Term Rewriting cs.FL · 2026 · author #2
  2. Approximate Learning of Limit-Average Automata cs.FL · 2019 · author #2
  3. Long-Run Average Behavior of Vector Addition Systems with States cs.FL · 2019 · author #3
  4. Average Stack Cost of Buechi Pushdown Automata cs.FL · 2017 · author #2
  5. Querying Best Paths in Graph Databases cs.DB · 2017 · author #2
  6. Bidirectional Nested Weighted Automata cs.FL · 2017 · author #3
  7. Nested Weighted Limit-Average Automata of Bounded Width cs.FL · 2016 · author #3
  8. Lipschitz Robustness of Timed I/O Systems cs.FL · 2015 · author #2
  9. Edit Distance for Pushdown Automata cs.FL · 2015 · author #4
  10. Nested Weighted Automata cs.FL · 2015 · author #3
  11. Lipschitz Robustness of Finite-state Transducers cs.FL · 2014 · author #2
  12. Satisfiability vs. Finite Satisfiability in Elementary Modal Logics cs.LO · 2012 · author #2

Mentions

  • 1506.01233 #2 · backfill · confidence 0.70 Jan Otop
  • 1504.08259 #4 · backfill · confidence 0.70 Jan Otop
  • 1504.06117 #3 · backfill · confidence 0.70 Jan Otop
  • 1404.6452 #2 · backfill · confidence 0.70 Jan Otop
  • 2605.07710 #2 · arxiv_oai · confidence 0.70 Jan Otop
  • 1210.2481 #2 · backfill · confidence 0.70 Jan Otop

Frequent Coauthors