Refine Results
Years
  1. 2018 (40)
Publications
  1. CAV: Computer Aided Verification (4)
  2. Eurocrypt: Advances in Cryptology (2)
  3. FORMATS: Formal Modeling and Analysis of Timed Systems (2)
  4. Methods in Molecular Biology (2)
  5. Probability Theory and Related Fields (2)

More Publications

Affiliation
  1. IST Austria (38)
Peer reviewed
  1. yes (32)
  2. no (8)
Invited
  1. no (39)
  2. yes (1)

Results (40)

  • Monitoring temporal logic with clock variables
    Conference paper
  • Parameter-independent strategies for pMDPs via POMDPs
    Conference paper