Proving almost-sure termination by omega-regular decomposition.

Jianhui Chen Fei He

Published in: PLDI (2020)

Keyphrases

term rewrite systems
machine learning
multi agent
decomposition method
image decomposition
real world
decomposition methods
hierarchical decomposition
database
databases
neural network
image processing
multiresolution
probabilistic model
theorem proving
term rewriting