Refine Results
Publications
  1. CONCUR: Concurrency Theory (8)
  2. CSL: Computer Science Logic (6)
  3. FSTTCS: Foundations of Software Technology and Theoretical Computer Science (4)
  4. HSCC: Hybrid Systems - Computation and Control (4)
  5. LICS: Logic in Computer Science (4)

More Publications

Affiliation
  1. IST Austria (37)
Open access
  1. no (94)
Peer reviewed
  1. no (71)
  2. yes (23)
Invited
  1. no (92)
  2. yes (2)

Results (94)

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