Formal verification of complex systems: model-based and data-driven methods.

Alessandro Abate

Browse the full MEMOCODE paper archive.