Refine Results
Affiliation
  1. IST Austria (14)
Open access
  1. no (14)
Peer reviewed
  1. yes (8)
  2. no (6)
Invited
  1. no (13)
  2. yes (1)

Results (14)

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