Coinductive Algorithms for Büchi Automata.
Denis KuperbergLaureline PinaultDamien PousPublished in: Fundam. Informaticae (2021)
Keyphrases
- times faster
- data structure
- computationally efficient
- recently developed
- computer vision
- computational complexity
- significant improvement
- computational efficiency
- computational cost
- combinatorial optimization
- pattern matching
- theoretical analysis
- optimization problems
- database
- decision trees
- social networks
- databases