Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report).

Vojtech Havlena Ondrej Lengál

Published in: CoRR (2020)

Keyphrases

technical report
cellular automata
neural network
cost effective
data sets
computer vision
e learning
website
database systems
lightweight