Loop Summarization with Rational Vector Addition Systems.

Jake Silverman Zachary Kincaid

Published in: CAV (2) (2019)

Keyphrases

real world
complex systems
decision making
computer systems
retrieval systems
data mining
knowledge base
metadata
decision trees
image sequences
multi agent
multi agent systems
expert systems