@article{SATCST15,
  title = "Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions",
  author = "{Esmaeil Zadeh Soudjani}, S. and Abate, A.",
  year = "2015",
  issn = "1063-6536",
  journal = "Control Systems Technology, IEEE Transactions on",
  month = "May",
  number = "3",
  pages = "975-990",
  url = "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6926825",
  volume = "23",
  doi = "10.1109/TCST.2014.2358844",
}
@incollection{FAUST2,
  title = "\textsf{FAUST}$^{\textsf{2}}$: Formal Abstractions of Uncountable-STate STochastic Processes",
  author = "{Esmaeil Zadeh Soudjani}, S. and Gevaerts, C. and Abate, A.",
  year = "2015",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  editor = "Baier, Christel and Tinelli, Cesare",
  isbn = "978-3-662-46680-3",
  language = "English",
  pages = "272-286",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-662-46681-0_23",
  volume = "9035",
  doi = "10.1007/978-3-662-46681-0_23",
}
@incollection{SATACAS15,
  title = "Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance",
  author = "{Esmaeil Zadeh Soudjani}, S. and Abate, A.",
  year = "2014",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  editor = "\'{A}brah\'{a}m, Erika and Havelund, Klaus",
  isbn = "978-3-642-54861-1",
  language = "English",
  pages = "547-561",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-54862-8_45",
  volume = "8413",
  doi = "10.1007/978-3-642-54862-8_45",
}
@article{SASIAM13,
  title = "Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes",
  author = "{Esmaeil Zadeh Soudjani}, S. and Abate, A.",
  year = "2013",
  journal = "SIAM Journal on Applied Dynamical Systems",
  number = "2",
  pages = "921-956",
  url = "http://dx.doi.org/10.1137/120871456",
  volume = "12",
  doi = "10.1137/120871456",
}