A posteriori environment analysis with Pushdown Delta CFA.

Kimball Germane Matthew Might

Published in: POPL (2017)

Keyphrases

real world
database systems
multiscale
wireless sensor networks
quantitative analysis
machine learning
artificial intelligence
computer vision
case study
image quality
maximum likelihood
model checking