C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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