Partial predicate abstraction and counter-example guided refinement.

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

high level
real time
mobile robot
refinement process
artificial intelligence
image processing
optimal solution
programming language
monotonicity constraints