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. QEST: Quantitative Evaluation of Systems (4)

More Publications

Affiliation
  1. IST Austria (42)
Open access
  1. no (99)
Peer reviewed
  1. no (72)
  2. yes (27)
Invited
  1. no (97)
  2. yes (2)

Results (99)

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