Andrea Peruffo

From MaRDI portal
Person:832045

Available identifiers

zbMath Open peruffo.andreaMaRDI QIDQ832045

List of research outcomes





PublicationDate of PublicationType
FOSSIL2024-02-21Paper
Poster: Convex Scenario Optimisation for ReLU Networks2024-02-21Paper
Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources2022-11-29Paper
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers2022-10-13Paper
Formal abstraction and synthesis of parametric stochastic processes2022-03-24Paper
Automated and formal synthesis of neural barrier certificates for dynamical models2021-08-04Paper
A New Recursive Least-Squares Method with Multiple Forgetting Schemes2015-03-25Paper

Research outcomes over time

This page was built for person: Andrea Peruffo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832045&oldid=7704165"
Powered by MediaWiki