A CEGAR-like Approach for Cost LTL Bounds.

Maximilien Colange Dimitri Racordon Didier Buchs

Published in: CoRR (2015)

Keyphrases

sum of squared errors
upper bound
lower bound
model checking
cost reduction
optimal cost
high cost
cost sensitive
worst case bounds
average case
neural network
temporal logic
worst case
error bounds
domain specific
linear temporal logic
bounded model checking
genetic algorithm