A General Verification Framework for Dynamical and Control Models via Certificate Synthesis.

Alec Edwards Andrea Peruffo Alessandro Abate

Published in: CoRR (2023)

Keyphrases

probabilistic model
modeling framework
special case
bayesian framework
data sets
lightweight
complex systems
information systems
multi agent systems
control system
statistical models
conceptual framework
mathematical models
control method
mathematical framework
general theory