Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation.

Vojtech Havlena Ondrej Lengál

Published in: CONCUR (2021)

Keyphrases

information retrieval
data sets
reinforcement learning
multi agent
lightweight
data mining
xml documents
state space
computationally efficient
cellular automata
model checking
finite state automata