Refine Results
Affiliation
  1. IST Austria (23)
Peer reviewed
  1. no (47)
  2. yes (11)
Invited
  1. no (57)
  2. yes (1)

Results (58)

  • Probabilistic programming
    Conference paper
  • Battery transition systems
    Conference paper
  • P: Safe asynchronous event-driven programming
    Conference paper
  • Quantitative abstraction refinement
    Conference paper