Hierarchy of three-party consistency specifications.

Julian Loss Ueli Maurer Daniel Tschudi

Published in: ISIT (2016)

Keyphrases

path consistency
machine learning
high level
specification language
real time
higher level
operational semantics
constraint networks
formal specification
finite state machines
lower level
temporal reasoning
evolutionary algorithm
multiscale
database systems
artificial intelligence
data mining