Sign in

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.

Luca LaurentiAlessandro AbateLuca BortolussiLuca CardelliMilan CeskaMarta Z. Kwiatkowska
Published in: HSCC (2017)
Keyphrases
  • state space
  • finite number
  • efficient computation
  • data sets
  • databases
  • machine learning
  • artificial intelligence
  • computer vision
  • information extraction
  • average precision