Correct and Efficient Antichain Algorithms for Refinement Checking.
Maurice LaveauxJan Friso GrooteTim A. C. WillemsePublished in: FORTE (2019)
Keyphrases
- computationally efficient
- neural network
- computational complexity
- computationally intensive
- theoretical analysis
- computationally expensive
- orders of magnitude
- algorithmic solutions
- memory efficient
- highly scalable
- space complexity
- times faster
- combinatorial optimization
- recently developed
- computational efficiency
- optimization problems
- data structure
- learning algorithm
- real time