Tommaso Dreossi

From MaRDI portal
Person:526430

Available identifiers

zbMath Open dreossi.tommasoMaRDI QIDQ526430

List of research outcomes





PublicationDate of PublicationType
Formal specification for deep neural networks2023-07-28Paper
Parameter synthesis of polynomial dynamical systems2022-12-08Paper
Parameter Synthesis Through Temporal Logic Specifications2019-12-19Paper
Compositional falsification of cyber-physical systems with machine learning components2019-10-25Paper
Sapo2017-07-11Paper
Parallelotope Bundles for Polynomial Reachability2017-05-19Paper
Parameter synthesis for polynomial biological models2017-05-16Paper
Reachability computation for polynomial dynamical systems2017-05-12Paper
\(\epsilon\)-semantics computations on biological systems2014-06-06Paper

Research outcomes over time

This page was built for person: Tommaso Dreossi

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