The synergy of precise and fast abstractions for program verification.

Natasha Sharygina Stefano Tonetta Aliaksei Tsitovich

Published in: SAC (2009)

Keyphrases

high level
mobile robot
data sets
data mining
information retrieval
clustering algorithm
cooperative
search algorithm
highly accurate