Refine Results
Publications
  1. CAV: Computer Aided Verification (9)
  2. LICS: Logic in Computer Science (9)
  3. CONCUR: Concurrency Theory (7)
  4. MFCS: Mathematical Foundations of Computer Science (SG) (5)
  5. ICALP: Automata, Languages and Programming (4)

More Publications

Affiliation
  1. IST Austria (89)
Peer reviewed
  1. yes (89)
Invited
  1. no (89)

Results (89)

  • Synthesizing protocols for digital contract signing
    Conference paper
  • How do we remember the past in randomised strategies?
    Conference paper
  • Infinite-duration Poorman-bidding games
    Conference paper
  • Sensor synthesis for POMDPs with reachability objectives
    Conference paper
  • Goal-HSVI: Heuristic search value iteration for goal-POMDPs
    Conference paper