norm constraint specifications.

Qing Miao Bingo Wing-Kuen Ling Xiaoling Wang

Published in: Digit. Signal Process. (2019)

Keyphrases

formal specification
high level
artificial intelligence
linear constraints
delay insensitive
databases
genetic algorithm
website
bayesian networks
specification language
consistency constraints
hilbert space
semantic constraints
reactive systems
penalty term