We describe three different instantiations of the counter-example-guided-inductive-synthesis (CEGIS) strategy for solving the synthesis problem, report on prototype implementations, and present ...

One method for encouraging the public interest in the use of historical maps as a source of reliable knowledge is to represent them in a more familiar aspect, such as the style of the current-day ...