Full name Familienname, Vorname
Paoletti, Nicola
 


Results 1-8 of 8 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Shmarov, 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 SystemsArtikel Article 2020
2Phan, Dung ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. Neural simplex architectureKonferenzbeitrag Inproceedings2020
3Phan, Dung ; Paoletti, Nicola ; Grosu, Radu ; Jansen, Nils ; Smolka, Scott A. ; Stoller, Scott D. Neural Simplex ArchitecturePreprint Preprint2019
4Phan, Dung ; Paoletti, Nicola ; Zhang, Timothy ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Neural State Classification for Hybrid SystemsKonferenzbeitrag Inproceedings 2018
5Mehmood, 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 dynamicsKonferenzbeitrag Inproceedings 2018
6Bartocci, 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 Article2018
7Shmarov, Fedor ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid SystemsKonferenzbeitrag Inproceedings2017
8Bartocci, Ezio ; LiĆ², Pietro ; Merelli, Emanuela ; Paoletti, Nicola Multiple Verification in Complex Biological Systems: The Bone Remodelling Case StudyArtikel Article2012



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewEditor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Lio, Pietro ; Paoletti, Nicola Computational Methods in Systems BiologyKonferenzband Proceedings 2016