Visual Specification of Properties for Robotic Designs.

Waldeck Lindoso Sidney C. Nogueira Renato Domingues Lucas Lima

Published in: SBMF (2021)

Keyphrases

visual properties
high level
real time
visual features
structural properties
formal language
low level
mobile robot
desirable properties
formal specification
visual perception
artificial intelligence
data model
object oriented
image classification
visual patterns