Refine Results
Affiliation
  1. IST Austria (18)
Peer reviewed
  1. yes (10)
  2. no (8)
Invited
  1. no (18)

Results (18)

  • A theory of register monitors
    Conference paper
  • Parallel reachability analysis for hybrid systems
    Conference paper
  • The target discounted-sum problem
    Conference paper
  • Nested weighted automata
    Conference paper