Verifying Fence Elimination Optimisations.

Viktor Vafeiadis Francesco Zappa Nardelli

Published in: SAS (2011)

Keyphrases

model checking
distributed systems
dead end
machine learning
decision making
bayesian networks
multi agent systems
artificial neural networks
search space
mobile robot