Integrated Environment for Diagnosing Verification Errors.

Maria Christakis K. Rustan M. Leino Peter Müller Valentin Wüstholz

Published in: TACAS (2016)

Keyphrases

real time
bayesian networks
evolutionary algorithm
mobile robot
dynamic environments
database
data sets
machine learning
model checking
computing environments
environmental conditions
simulation environment
programming environment