A Cooperative Parallelization Approach for Property-Directed k-Induction.

Martin Blicha Antti E. J. Hyvärinen Matteo Marescotti Natasha Sharygina

Published in: VMCAI (2020)

Keyphrases

cooperative
parallel processing
multi agent
inductive learning
distributed problem solving
machine learning
multi agent systems
subgroup discovery
concept formation
neural network
artificial intelligence
cooperative learning
rule induction
induction algorithms
parallel execution
cooperating agents