Parameterized Synthesis with Safety Properties.

Oliver Markgraf Chih-Duo Hong Anthony W. Lin Muhammad Najib Daniel Neider

Published in: APLAS (2020)

Keyphrases

image processing
desirable properties
computer vision
support vector
preprocessing
expert systems
information technology
mobile robot
medical images
structural properties