Formal Verification of a Distributed Algorithm for Task Execution.
Amar NathRajdeep NiyogiPublished in: ICCSA (5) (2020)
Keyphrases
- learning algorithm
- formal verification
- experimental evaluation
- search space
- k means
- objective function
- preprocessing
- significant improvement
- cost function
- dynamic programming
- simulated annealing
- similarity measure
- detection algorithm
- optimization algorithm
- probabilistic model
- reinforcement learning
- optimal solution
- computational cost
- np hard
- matching algorithm
- model checking
- probabilistic reasoning
- neural network