• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis.

Luca CardelliMirco TribastoneMax TschaikowskiAndrea Vandin
Published in: QEST (2018)
Keyphrases
  • error bounds
  • probabilistic model
  • theoretical analysis
  • computational model
  • artificial intelligence
  • high level
  • real time
  • inference rules