2 papers
cs.LO2026
Quantitative Verification with Neural Networks
Alessandro Abate, Alec Edwards, Mirco Giacobbe +2
We present a data-driven approach to the quantitative verification of probabilistic programs and stochastic dynamical models. Our approach leverages neural networks to compute tigh…
eess.SY2024
A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
Alec Edwards, Andrea Peruffo, Alessandro Abate
An emerging branch of control theory specialises in certificate learning, concerning the specification of a desired (possibly complex) system behaviour for an autonomous or control…