List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formal specification for deep neural networks Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
| Parameter synthesis of polynomial dynamical systems Information and Computation | 2022-12-08 | Paper |
| Parameter synthesis through temporal logic specifications FM 2015: Formal Methods | 2019-12-19 | Paper |
| Compositional falsification of cyber-physical systems with machine learning components Journal of Automated Reasoning | 2019-10-25 | Paper |
| Sapo: reachability computation and parameter synthesis of polynomial dynamical systems Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
| Parallelotope Bundles for Polynomial Reachability Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Parameter synthesis for polynomial biological models Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Reachability computation for polynomial dynamical systems Formal Methods in System Design | 2017-05-12 | Paper |
| \(\epsilon\)-semantics computations on biological systems Information and Computation | 2014-06-06 | Paper |
Research outcomes over time
This page was built for person: Tommaso Dreossi
