@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",
}