PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).

Cedric Richter Heike Wehrheim

Published in: TACAS (3) (2019)

Keyphrases

databases
artificial intelligence
image processing
sequential search
evolutionary algorithm
multiresolution
mobile robot
probability distribution
sequential data
predicting future