C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis.
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Published in:
QEST (2018)
Keyphrases
</>
error bounds
probabilistic model
theoretical analysis
computational model
artificial intelligence
high level
real time
inference rules