Correct and Efficient Antichain Algorithms for Refinement Checking.
Maurice LaveauxJan Friso GrooteTim A. C. WillemsePublished in: CoRR (2019)
Keyphrases
- orders of magnitude
- learning algorithm
- computationally expensive
- algorithmic solutions
- efficient implementation
- computational complexity
- highly efficient
- computationally intensive
- computationally efficient
- neural network
- recently developed
- machine learning algorithms
- single pass
- computationally complex
- highly scalable
- parallel architectures
- computationally demanding
- real time
- computational efficiency
- cost effective
- benchmark datasets
- optimization problems
- computational cost
- data structure
- image sequences
- database systems
- image processing
- databases