SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation.

Jan-Willem Roorda Koen Claessen

Published in: CAV (2006)

Keyphrases

high level
answer set programming
bounded model checking
information retrieval
web services
optimal solution
lower bound
low level
mobile robot
temporal information
evaluation methods
trajectory data