Correct and Efficient Antichain Algorithms for Refinement Checking.
Maurice LaveauxJan Friso GrooteTim A. C. WillemsePublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- computationally intensive
- computationally expensive
- theoretical analysis
- computationally efficient
- orders of magnitude
- learning algorithm
- algorithmic solutions
- worst case
- neural network
- step wise
- computationally complex
- parallel architectures
- highly scalable
- highly efficient
- computational efficiency
- computational cost
- data sets
- benchmark datasets
- significant improvement
- times faster
- computational complexity
- objective function
- complexity analysis
- case study
- memory efficient
- image processing
- search engine
- genetic algorithm