Refine Results
Publications
  1. CONCUR: Concurrency Theory (4)
  2. CSL: Computer Science Logic (3)
  3. LICS: Logic in Computer Science (3)
  4. QEST: Quantitative Evaluation of Systems (3)
  5. Acta Informatica (2)

More Publications

Affiliation
  1. IST Austria (14)
Open access
  1. no (53)
Peer reviewed
  1. no (45)
  2. yes (8)
Invited
  1. no (52)
  2. yes (1)

Results (53)

  • Controller synthesis for MDPs and frequency LTL\GU
    Conference paper
  • Rabinizer 3: Safraless translation of ltl to small deterministic automata
    Conference paper