Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus.

Dimitar P. Guelev Shuling Wang Naijun Zhan

Published in: CoRR (2017)

Keyphrases

constraint satisfaction problems
qualitative spatial
decomposition methods
neural network
constraint satisfaction
constraint propagation
qualitative reasoning
computational complexity
np hard
constraint solving
constraint problems
formal theory