Search Within

Jan Otop

Otop_jan
Email: jan.otop@ist.ac.at
Interests:
Refine Results
Affiliation
  1. IST Austria (15)
Peer reviewed
  1. yes (12)
  2. no (3)
Invited
  1. no (15)

Results (15)

  • Lipschitz robustness of timed I/O systems
    Conference paper
  • The target discounted-sum problem
    Conference paper
  • Nested weighted automata
    Conference paper
  • Edit distance for pushdown automata
    Conference paper