|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Shmarov, Fedor ; Soudjani, Sadegh ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo | Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems | Artikel Article  | 2020 |
| 2 | | Phan, Dung ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. | Neural simplex architecture | Konferenzbeitrag Inproceedings | 2020 |
| 3 | | Phan, Dung ; Paoletti, Nicola ; Grosu, Radu ; Jansen, Nils ; Smolka, Scott A. ; Stoller, Scott D. | Neural Simplex Architecture | Preprint Preprint | 2019 |
| 4 | | Phan, Dung ; Paoletti, Nicola ; Zhang, Timothy ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Neural State Classification for Hybrid Systems | Konferenzbeitrag Inproceedings | 2018 |
| 5 | | Mehmood, Usama ; Paoletti, Nicola ; Phan, Dung ; Grosu, Radu ; Lin, Shan ; Stoller, Scott D. ; Tiwari, Ashish ; Yang, Junxing ; Smolka, Scott A. | Declarative vs rule-based control for flocking dynamics | Konferenzbeitrag Inproceedings | 2018 |
| 6 | | Bartocci, Ezio ; Lio, Pietro ; Paoletti, Nicola | Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016) | Artikel Article | 2018 |
| 7 | | Shmarov, Fedor ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo | SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems | Konferenzbeitrag Inproceedings | 2017 |
| 8 | | Bartocci, Ezio ; Liò, Pietro ; Merelli, Emanuela ; Paoletti, Nicola | Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study | Artikel Article | 2012 |
