Alessandro Abate : Publications
Click here to download all publications in a single bibtex file
@article{Abate2019, title = "Automated formal synthesis of provably safe digital controllers for continuous plants", author = "Abate, Alessandro and Bessa, Iury and Cordeiro, Lucas and David, Cristina and Kesseli, Pascal and Kroening, Daniel and Polgreen, Elizabeth", year = "2019", issn = "1432-0525", journal = "Acta Informatica", month = "Dec", doi = "10.1007/s00236-019-00359-1", }
@article{10260, title = "Data-efficient Verification of Parametric Markov Chains", author = "E. Polgreen, V. Wijesuriya, S. Haesaert, A. Abate", year = "2016", booktitle = "QEST", journal = "Quantitative Evaluation of SysTems (QEST)", doi = "10.1007/978-3-319-43425-4_3", }
@article{7999, title = "A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks", author = "A. Abate and S. Vincent and R. Dobbe and A. Silletti and N. Master and J. Axelrod and C. Tomlin", year = "2012", issn = "1545-5963", journal = "IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)", pages = "1607-1620", publisher = "IEEE", url = "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6319287", volume = "9", doi = "10.1109/TCBB.2012.126", }
@article{7996, title = "Approximate Model Checking of Stochastic Hybrid Systems", author = "A. Abate and J.P. Katoen and J. Lygeros and M. Prandini", year = "2010", issn = "0947-3580", journal = "European Journal of Control", number = "6", pages = "624-641", publisher = "Elsevier", url = "http://www.sciencedirect.com/science/article/pii/S0947358010706919", volume = "16", doi = "10.3166/ejc.16.624-641", }
@article{7998, title = "Exponential Stabilizaiton of Discrete-time Switched Linear Systems", author = "W. Zhang and A. Abate and J. Hu and M.P. Vitus", year = "2009", issn = "0005-1098", journal = "Automatica", number = "11", pages = "2526-2536", publisher = "Elsevier", url = "http://www.sciencedirect.com/science/article/pii/S0005109809003677", volume = "45", doi = "10.1016/j.automatica.2009.07.018", }
@article{7997, title = "Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems", author = "A. Abate and M. Prandini and J. Lygeros and S. Sastry", year = "2008", issn = "0005-1098", journal = "Automatica Journal of IFAC", number = "1", pages = "2724-2734", publisher = "Elsevier", url = "http://www.sciencedirect.com/science/article/pii/S0005109808002677", volume = "44", doi = "10.1016/j.automatica.2008.03.027", }