Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes.
Michele BorealePublished in: Sci. Comput. Program. (2020)
Keyphrases
- theoretical analysis
- times faster
- social networks
- significant improvement
- orders of magnitude
- numerically stable
- genetic algorithm
- situation calculus
- graph theory
- recently developed
- first order logic
- data mining algorithms
- benchmark datasets
- optimization problems
- denoising
- evolutionary algorithm
- computational complexity