Refine Results
Publications
  1. CAV: Computer Aided Verification (34)
  2. CONCUR: Concurrency Theory (21)
  3. EMSOFT: Embedded Software (13)
  4. HSCC: Hybrid Systems - Computation and Control (13)
  5. ICALP: Automata, Languages and Programming (13)

More Publications

Affiliation
  1. IST Austria (74)
Open access
  1. no (355)
Peer reviewed
  1. no (295)
  2. yes (60)
Invited
  1. no (349)
  2. yes (6)

Results (355)

  • Controller synthesis for MDPs and frequency LTL\GU
    Conference paper