On the Parameterized Verification of Abstract Models of Contact Tracing Protocols.

Sylvain Conchon Giorgio Delzanno Arnaud Sangnier

Published in: OVERLAY@GandALF (2021)

Keyphrases

multiscale
complex systems
statistical models
database
neural network
case study
three dimensional
artificial neural networks
prior knowledge
probabilistic model