Verification of multi-layered assignment problems.

Barak Steindl Meirav Zehavi

Published in: Auton. Agents Multi Agent Syst. (2022)

Keyphrases

multi layered
neural learning
model checking
formal methods
formal verification
verification method
data mining
data structure
mobile robot
face verification
signature verification