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 (55)
Open access
  1. no (112)
Peer reviewed
  1. no (74)
  2. yes (38)
Invited
  1. no (110)
  2. yes (2)

Results (112)

  • Parameter-independent strategies for pMDPs via POMDPs
    Conference paper
  • Quantitative analysis of smart contracts
    Conference paper