Modeling and verifying behavioral constraints for automation systems.

Benjamin Brandenbourger Milan Vathoopan Alois Zoitl

Published in: INDIN (2017)

Keyphrases

constraint satisfaction
real time
information retrieval
artificial intelligence
web pages
image processing
face recognition
model checking
constrained optimization
modeling method