From symbolic constraint automata to Promela.

Hui Feng Marcello M. Bonsangue Benjamin Lion

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

cellular automata
finite automata
constraint solving
databases
data sets
artificial intelligence
information retrieval
high level
objective function
optical flow
linear constraints
soft constraints
finite domain
lattice gas