Alessandro Abate - Selected Publications

Journal Articles

1. Y. Gao, A. Abate, L. Xie, K.H. Johansson, "Distributional Reachability for Markov Decision Processes: Theory and Applications," IEEE TAC, 2024.
   [url]

2. T. Badings, L Romao, A. Abate, D. Parker, H. Poonawala, M. Stoelinga and N. Jansen, "Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions," JAIR, vol 76, pp.341-391, 2023.
   [url]

3. M. Hasanbeig , A. Abate and D. Kroening, "Certified Reinforcement Learning with Logic Guidance," AIJ, 2024.
   [url]

4. L. Hammond, J. Fox, T. Everitt, R. Carey, A. Abate and M. Wooldridge, ``Reasoning about Causality in Games,'' AIJ, Vol. 320, July 2023.
   [url]

5. A. Abate, H. Barbosa, C. Barrett. C. David, P. Kesseli, D. Kroening, E. Polgreen, A. Reynolds, C. Tinelli, "Synthesising programs with non-trivial constants," Journal of Automated Reasoning (JAR) , 67:19, 2023.
   [url]

6. G.W. Molyneux and A. Abate, "Multifidelity Bayesian Verification," BMC Biology, 2024.
   [url]

7. N. Jeppu, M. Hasanbeig, A. Abate, T. Melham, and D. Kroening, "Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning," JAIR, 2024.
   [url]

8. A. Lavaei, S. Soudjani, A. Abate, and M. Zamani, "Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey," Automatica, vol. 146, Dec. 2022.
   [url]

9. F. Cosentino, H. Oberhauser, and A. Abate, "Grid-Free Computation of Probabilistic Safety with Malliavin Calculus," IEEE TAC, 68(10), pp. 6369-6376, Oct 2023.
   [url]

10. A. Madary, H.R. Momeni, A. Abate, K. G. Larsen, A. Le Coent, "Hierarchical Identification of Nonlinear Hybrid Systems in a Bayesian Framework," Information and Computation, Available Online, 2022.
    [url]

11. Y. Gao, A. Abate, F.J. Jiang, M. Giacobbe, L. Xie, and K.H. Johansson, "Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems," IEEE TAC, 67(10), pp. 5071-5086, 2022.
    [url]

12. M.S. Mufid, D. Adzkiya, and A. Abate, "SMT-based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems," IEEE TAC, 67(6), pp. 2700–2714, 2022.
    [url]

13. M. Cai, M. Hasanbeig, S. Xiao, A. Abate and Z. Kan, "Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic," IEEE Robotics and Automation Letters, vol. 6, nr. 4, pp. 7973-7980, 2021.
    [url]

14. A. Abate, J. Gutierrez, L. Hammond, P. Harrenstein, M. Kwiatkowska, M. Najib, G. Perelli, T. Steeples, and M. Wooldridge, "Rational Verification: Game-theoretic Verification of Multi-Agent Systems," Applied Intelligence, vol. 51, pp. 6569–6584, 2021.
    [url]

15. A. Abate, R. Andriushchenko, M. Ceska, M. Kwiatkowska, "Adaptive Formal Approximations of Markov Chains," Performance Evaluation, 2022.
    [url]

16. A. Abate, R. Andriushchenko, M. Ceska, M. Kwiatkowska, "Adaptive Formal Approximations of Markov Chains," Performance Evaluation, 2022.
    [url]

17. J. Brown, A. Abate and A. Rogers, Disaggregation of Household Solar Energy Generation Using Censored Smart Meter Data, Energy and Buildings, v. 231, 2021.
    [url]

18. A. Peruffo, E. Guiu, P. Panciatici and A. Abate, “Aggregation and Control of a Heterogeneous Population of Solar Panels over the Grid Frequency,” IEEE Transactions on Control Systems Technology, 2021.
    [bibtex] [url]

    @article{PGPA21,
      author = {A. Peruffo and E. Guiu and P. Panciatici and A. Abate},
      title = {Aggregation and Control of a Heterogeneous Population of Solar Panels over the Grid Frequency},
      journal = {IEEE Transactions on Control Systems Technology},
      year = {2021},
      url = {./publications/PGPA21.pdf}
    }
    

19. L. Laurenti, M. Lahijanian, A. Abate, L. Cardelli and M. Kwiatkowska, “Formal and Efficient Control Synthesis for Continuous-Time Stochastic Processes,” IEEE Transactions on Automatic Control, vol. 66, no. 1, pp. 17-32, Jan 2021.
    [bibtex] [url]

    @article{LLACK20,
      author = {L. Laurenti and M. Lahijanian and A. Abate and L. Cardelli and M. Kwiatkowska},
      title = {Formal and Efficient Control Synthesis for Continuous-Time Stochastic Processes},
      journal = {IEEE Transactions on Automatic Control},
      year = {2021},
      volume = {66},
      number = {1},
      pages = {17-32},
      url = {./publications/LLACK20.pdf}
    }
    

20. A. Abate, D. Ahmed, M. Giacobbe and A. Peruffo, “Automated Formal Synthesis of Lyapunov Neural Networks,” IEEE Control Systems Letters, vol. 5, no. 3, pp. 773-778, 2021.
    [bibtex] [url]

    @article{AAGP21,
      author = {A. Abate and D. Ahmed and M. Giacobbe and A. Peruffo},
      title = {Automated Formal Synthesis of Lyapunov Neural Networks},
      journal = {IEEE Control Systems Letters},
      year = {2021},
      volume = {5},
      number = {3},
      pages = {773-778},
      url = {./publications/AAGP21.pdf}
    }
    

21. J. Brown, A. Abate and A. Rogers, “Disaggregation of Household Solar Energy Generation Using Censored Smart Meter Data,” Energy and Buildings, 2021.
    [bibtex] [url]

    @article{BAR21,
      author = {J. Brown and A. Abate and A. Rogers},
      title = {Disaggregation of Household Solar Energy Generation Using Censored Smart Meter Data},
      journal = {Energy and Buildings},
      year = {2021},
      url = {./publications/BAR21.pdf}
    }
    

22. D. Cattaruzza, A. Abate, P. Schrammel and D. Kroening, “Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration,” Journal of Automated Reasoning, 2020.
    [bibtex] [url]

    @article{CASK20,
      author = {D. Cattaruzza and A. Abate and P. Schrammel and D. Kroening},
      title = {Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration},
      journal = {Journal of Automated Reasoning},
      year = {2020},
      url = {./publications/CASK20.pdf}
    }
    

23. S. Haesaert, F. Chen, A. Abate and S. Weiland, “Formal control synthesis via simulation relations and behavioural theory for discrete-time descriptor systems,” IEEE Transactions on Automatic Control, 2020.
    [bibtex] [url]

    @article{HCAW20,
      author = {S. Haesaert and F. Chen and A. Abate and S. Weiland},
      title = {Formal control synthesis via simulation relations and behavioural theory for discrete-time descriptor systems},
      journal = {IEEE Transactions on Automatic Control},
      year = {2020},
      url = {./publications/HCAW20.pdf}
    }
    

24. A. Abate, I. Bessa, D. Cattaruzza, L. Cordeiro, C. David, P. Kesseli, D. Kroening and E. Polgreen, “Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants,” Acta Informatica, vol. 57, no. 3, pp. 223–244, 2020.
    [bibtex] [url]

    @article{ABCCDKKP20,
      author = {A. Abate and I. Bessa and D. Cattaruzza and L. Cordeiro and C. David and P. Kesseli and D. Kroening and E. Polgreen},
      title = {Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants},
      journal = {Acta Informatica},
      year = {2020},
      volume = {57},
      number = {3},
      pages = {223–244},
      url = {./publications/ABCCDKKP20.pdf}
    }
    

25. K. Lesser and A. Abate, “Multi-Objective Optimal Control with Safety as a Priority,” IEEE Transactions on Control Systems Technology, vol. 26, no. 3, pp. 1015-1027, Nov 2018.
    [bibtex] [url]

    @article{LA18,
      author = {K. Lesser and A. Abate},
      title = {Multi-Objective Optimal Control with Safety as a Priority},
      journal = {IEEE Transactions on Control Systems Technology},
      year = {2018},
      volume = {26},
      number = {3},
      pages = {1015--1027},
      url = {./publications/LA18.pdf}
    }
    

26. M. Zamani, M. Mazo, M. Khaled and A. Abate, “Symbolic Models for Networked Control Systems,” IEEE Transactions on Control of Network Systems, vol. 5, no. 4, pp. 1622-1634, Dec 2018.
    [bibtex] [url]

    @article{ZMKA18,
      author = {M. Zamani and M. Mazo and M. Khaled and A. Abate},
      title = {Symbolic Models for Networked Control Systems},
      journal = {IEEE Transactions on Control of Network Systems},
      year = {2018},
      volume = {5},
      number = {4},
      pages = {1622-1634},
      url = {./publications/ZMKA18.pdf}
    }
    

27. N. Cauchi, K. Hoque, M. Stoelinga and A. Abate, “Maintenance of Smart Buildings using Fault Trees,” ACM Transactions on Sensor Networks, vol. 14, no. 3-4, pp. 25, Nov 2018.
    [bibtex] [url]

    @article{CHSA18,
      author = {N. Cauchi and K. Hoque and M. Stoelinga and A. Abate},
      title = {Maintenance of Smart Buildings using Fault Trees},
      journal = {ACM Transactions on Sensor Networks},
      year = {2018},
      volume = {14},
      number = {3-4},
      pages = {25},
      url = {./publications/CHSA18.pdf}
    }
    

28. S. Haesaert, S. E. Z. Soudjani and A. Abate, “Verification of general Markov decision processes by approximate similarity relations and policy refinement,” SIAM Journal on Control and Optimisation, vol. 55, no. 4, pp. 2333-2367, 2017.
    [bibtex] [url]

    @article{HSA17,
      author = {S. Haesaert and S.E.Z. Soudjani and A. Abate},
      title = {Verification of general Markov decision processes by approximate similarity relations and policy refinement},
      journal = {SIAM Journal on Control and Optimisation},
      year = {2017},
      volume = {55},
      number = {4},
      pages = {2333-2367},
      url = {./publications/HSA17.pdf}
    }
    

29. S. Haesaert, N. Cauchi and A. Abate, “Certified policy synthesis for general Markov decision processes: An application in building automation systems,” Performance Evaluation, vol. 117, pp. 75-103, 2017.
    [bibtex] [url]

    @article{HCA17,
      author = {S. Haesaert and N. Cauchi and A. Abate},
      title = {Certified policy synthesis for general Markov decision processes: An application in building automation systems},
      journal = {Performance Evaluation},
      year = {2017},
      volume = {117},
      pages = {75-103},
      url = {./publications/HCA17.pdf}
    }
    

30. I. Tkachev, A. Mereacre, J.-P. Katoen and A. Abate, “Quantitative Model Checking of Controlled Discrete-Time Markov Processes,” Information and Computation, vol. 253, no. 1, pp. 1-35, April 2017.
    [bibtex] [url]

    @article{TMKA17,
      author = {I. Tkachev and A. Mereacre and J.-P. Katoen and A. Abate},
      title = {Quantitative Model Checking of Controlled Discrete-Time Markov Processes},
      journal = {Information and Computation},
      year = {2017},
      volume = {253},
      number = {1},
      pages = {1-35},
      url = {./publications/TMKA17.pdf}
    }
    

31. K. Macek, P. Endel, N. Cauchi and A. Abate, “Long-Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers,” Energy and Buildings, vol. 150, pp. 111-117, 2017.
    [bibtex] [url]

    @article{MECA17,
      author = {K. Macek and P. Endel and N. Cauchi and A. Abate},
      title = {Long-Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers},
      journal = {Energy and Buildings},
      year = {2017},
      volume = {150},
      pages = {111-117},
      url = {./publications/MECA17.pdf}
    }
    

32. N. Cauchi, K. Macek and A. Abate, “Model-based predictive maintenance in Smart Buildings with user discomfort,” Energy, vol. 138, pp. 306-315, 2017.
    [bibtex] [url]

    @article{CMA17,
      author = {N. Cauchi and K. Macek and A. Abate},
      title = {Model-based predictive maintenance in Smart Buildings with user discomfort},
      journal = {Energy},
      year = {2017},
      volume = {138},
      pages = {306-315},
      url = {./publications/CMA17.pdf}
    }
    

33. M. Zamani, I. Tkachev and A. Abate, “Towards Scalable Synthesis of Stochastic Control Systems,” Discrete Event Dynamic Systems, vol. 27, no. 2, pp. 341-369, 2017.
    [bibtex] [url]

    @article{ZTA17,
      author = {M. Zamani and I. Tkachev and A. Abate},
      title = {Towards Scalable Synthesis of Stochastic Control Systems},
      journal = {Discrete Event Dynamic Systems},
      year = {2017},
      volume = {27},
      number = {2},
      pages = {341-369},
      url = {./publications/ZTA17.pdf}
    }
    

34. S. Haesaert, P. M. J. V.d. Hof and A. Abate, “Data-driven and Model-based Verification via Bayesian Identification and Reachability Analysis,” Automatica, vol. 79, no. 5, pp. 115-126, May 2017.
    [bibtex] [url]

    @article{HVA17,
      author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
      title = {Data-driven and Model-based Verification via Bayesian Identification and Reachability Analysis},
      journal = {Automatica},
      year = {2017},
      volume = {79},
      number = {5},
      pages = {115--126},
      url = {./publications/HVA17.pdf}
    }
    

35. S. Esmaeil Zadeh Soudjani, A. Abate and R. Majumdar, “Dynamic Bayesian Networks for Formal Verification of Structured Stochastic Processes,” Acta Informatica, vol. 54, no. 2, pp. 217-242, 2017.
    [bibtex] [url]

    @article{SAM17,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate and R. Majumdar},
      title = {Dynamic Bayesian Networks for Formal Verification of Structured Stochastic Processes},
      journal = {Acta Informatica},
      year = {2017},
      volume = {54},
      number = {2},
      pages = {217-242},
      url = {./publications/SAM17.pdf}
    }
    

36. S. Esmaeil Zadeh Soudjani, D. Adzkiya and A. Abate, “Formal Verification of Stochastic Max-Plus-Linear Systems,” IEEE Transactions on Automatic Control, vol. 61, no. 10, pp. 2861 - 2876, Jan 2016.
    [bibtex] [url]

    @article{SAA16,
      author = {S. Esmaeil Zadeh Soudjani and D. Adzkiya and A. Abate},
      title = {Formal Verification of Stochastic Max-Plus-Linear Systems},
      journal = {IEEE Transactions on Automatic Control},
      year = {2016},
      volume = {61},
      number = {10},
      pages = {2861 - 2876},
      url = {./publications/SAA16.pdf}
    }
    

37. D. Adzkiya, Y. Zhang and A. Abate, “VeriSiMPL 2: An Open-Source Software for the Verification of Max-Plus-Linear Systems,” Discrete Events Dynamical Systems, vol. 26, no. 1, pp. 109-145, 2016.
    [bibtex] [url]

    @article{AZA15,
      author = {D. Adzkiya and Y. Zhang and A. Abate},
      title = {VeriSiMPL 2: An Open-Source Software for the Verification of Max-Plus-Linear Systems},
      journal = {Discrete Events Dynamical Systems},
      year = {2016},
      volume = {26},
      number = {1},
      pages = {109-145},
      url = {./publications/AYA15.pdf}
    }
    

38. S. Esmaeil Zadeh Soudjani and A. Abate, “Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions,” Logical Methods in Computer Science, vol. 11, no. 3, Oct 2015.
    [bibtex] [url]

    @article{SA15b,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions},
      journal = {Logical Methods in Computer Science},
      year = {2015},
      volume = {11},
      number = {3},
      url = {./publications/SA15b.pdf}
    }
    

39. S. Esmaeil Zadeh Soudjani and A. Abate, “Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions,” IEEE Transactions on Control Systems Technology, vol. 23, no. 3, pp. 975-990, Mar 2015.
    [bibtex] [url]

    @article{SA15,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions},
      journal = {IEEE Transactions on Control Systems Technology},
      year = {2015},
      volume = {23},
      number = {3},
      pages = {975--990},
      url = {./publications/SA15.pdf}
    }
    

40. M. Zamani, A. Abate and A. Girard, “Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach,” Automatica, vol. 55, no. 5, pp. 183-196, May 2015.
    [bibtex] [url]

    @article{ZAG15,
      author = {M. Zamani and A. Abate and A. Girard},
      title = {Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach},
      journal = {Automatica},
      year = {2015},
      volume = {55},
      number = {5},
      pages = {183--196},
      url = {./publications/ZGA15.pdf}
    }
    

41. D. Adzkiya, B. De Schutter and A. Abate, “Computational Techniques for Reachability Analysis of Max-Plus-Linear Systems,” Automatica, vol. 53, no. 3, pp. 293-302, Mar 2015.
    [bibtex] [url]

    @article{ADSA15,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Computational Techniques for Reachability Analysis of Max-Plus-Linear Systems},
      journal = {Automatica},
      year = {2015},
      volume = {53},
      number = {3},
      pages = {293--302},
      url = {./publications/ADSA15.pdf}
    }
    

42. I. Tkachev and A. Abate, “Characterization and computation of infinite horizon specifications over Markov processes,” Theoretical Computer Science, vol. 515, pp. 1-18, 2014.
    [bibtex] [url]

    @article{TA14,
      author = {I. Tkachev and A. Abate},
      title = {Characterization and computation of infinite horizon specifications over Markov processes},
      journal = {Theoretical Computer Science},
      year = {2014},
      volume = {515},
      pages = {1--18},
      url = {./publications/TA14.pdf}
    }
    

43. M. Zamani and A. Abate, “Symbolic Models for Randomly Switched Stochastic Systems,” Systems & Control Letters, vol. 69, pp. 38-46, 2014.
    [bibtex] [url]

    @article{ZA14,
      author = {M. Zamani and A. Abate},
      title = {Symbolic Models for Randomly Switched Stochastic Systems},
      journal = {Systems & Control Letters},
      year = {2014},
      volume = {69},
      pages = {38--46},
      url = {./publications/ZA14.pdf}
    }
    

44. A. Abate, F. Redig and I. Tkachev, “On the effect of perturbation of conditional probabilities in total variation,” Statistics and Probability Letters, vol. 88, pp. 1-8, May 2014.
    [bibtex] [url]

    @article{ART14,
      author = {A. Abate and F. Redig and I. Tkachev},
      title = {On the effect of perturbation of conditional probabilities in total variation},
      journal = {Statistics and Probability Letters},
      year = {2014},
      volume = {88},
      pages = {1--8},
      url = {./publications/ART14.pdf}
    }
    

45. L. de Jonge, N. A. A. Buijs, J. J. Heijnen, W. M. van Gulik, A. Abate and A. Wahl, “Flux Response of Glycolysis and Storage Metaboism during rapid feast/famine conditions in Pennicullium chrysogenum using dynamic 13^C labeling,” Journal of Biotechnology, vol. 9, no. 3, pp. 372-385, Mar 2014.
    [bibtex] [url]

    @article{dJBHvGAW14,
      author = {L. de Jonge and N.A.A. Buijs and J.J. Heijnen and W.M. van Gulik and A. Abate and A. Wahl},
      title = {Flux Response of Glycolysis and Storage Metaboism during rapid feast/famine conditions in Pennicullium chrysogenum using dynamic 13^C labeling},
      journal = {Journal of Biotechnology},
      year = {2014},
      volume = {9},
      number = {3},
      pages = {372--385},
      url = {./publications/dJBHvGAW14.pdf}
    }
    

46. M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate and J. Lygeros, “Symbolic control of stochastic systems via approximately bisimilar finite abstractions,” IEEE Transactions on Automatic Control, vol. 59, no. 12, pp. 2825-2830, Dec 2014.
    [bibtex] [url]

    @article{ZMMAL14,
      author = {M. Zamani and P. Mohajerin Esfahani and R. Majumdar and A. Abate and J. Lygeros},
      title = {Symbolic control of stochastic systems via approximately bisimilar finite abstractions},
      journal = {IEEE Transactions on Automatic Control},
      year = {2014},
      volume = {59},
      number = {12},
      pages = {2825--2830},
      url = {./publications/ZMMAL14.pdf}
    }
    

47. L. Zhao, W. Zhang, J. Hu, A. Abate and C. J. Tomlin, “On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem,” IEEE Transactions on Automatic Control, vol. 59, no. 10, pp. 2825-2830, Oct 2014.
    [bibtex] [url]

    @article{ZZHAT14,
      author = {L. Zhao and W. Zhang and J. Hu and A. Abate and C.J. Tomlin},
      title = {On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem},
      journal = {IEEE Transactions on Automatic Control},
      year = {2014},
      volume = {59},
      number = {10},
      pages = {2825--2830},
      url = {./publications/ZZHAT14.pdf}
    }
    

48. A. Abate, “Approximation Metrics based on Probabilistic Bisimulations for General State-Space Markov Processes: a Survey,” Electronic Notes in Theoretical Computer Sciences, vol. 297, pp. 3-25, 2014.
    [bibtex] [url]

    @article{A14,
      author = {A. Abate},
      title = {Approximation Metrics based on Probabilistic Bisimulations for General State-Space Markov Processes: a Survey},
      journal = {Electronic Notes in Theoretical Computer Sciences},
      year = {2014},
      volume = {297},
      pages = {3--25},
      url = {./publications/A14.pdf}
    }
    

49. K. Staňková, A. Abate and M. W. Sabelis, “Joining or opting out of a Lotka-Volterra game between predators and prey: Does the best strategy depend on modeling energy lost and gained?,” Journal of the Royal Society -- Interface Focus, vol. 3, no. 6, pp. 1-11, Dec 2013.
    [bibtex] [url]

    @article{SAS13c,
      author = {K. Staňková and A. Abate and M.W. Sabelis},
      title = {Joining or opting out of a Lotka-Volterra game between predators and prey: Does the best strategy depend on modeling energy lost and gained?},
      journal = {Journal of the Royal Society -- Interface Focus},
      year = {2013},
      volume = {3},
      number = {6},
      pages = {1--11},
      url = {./publications/SAS13c.pdf}
    }
    

50. K. Staňková, A. Abate and M. W. Sabelis, “Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model,” Journal of Mathematical Biology, vol. 66, no. 4, pp. 767-794, 2013.
    [bibtex] [url]

    @article{SAS13,
      author = {K. Staňková and A. Abate and M.W. Sabelis},
      title = {Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model},
      journal = {Journal of Mathematical Biology},
      year = {2013},
      volume = {66},
      number = {4},
      pages = {767--794},
      url = {./publications/SAS13.pdf}
    }
    

51. A. Abate, M. Chen, Y. Wang, A. Zakhor and S. Sastry, “Design and Analysis of a new Scheme for Flow Control over Wireless Networks,” International Journal of Robust and Nonlinear Control, vol. 23, no. 2, pp. 208-228, 2013.
    [bibtex] [url]

    @article{ACWZS13,
      author = {A. Abate and M. Chen and Y. Wang and A. Zakhor and S. Sastry},
      title = {Design and Analysis of a new Scheme for Flow Control over Wireless Networks},
      journal = {International Journal of Robust and Nonlinear Control},
      year = {2013},
      volume = {23},
      number = {2},
      pages = {208--228},
      url = {./publications/ACWZS13.pdf}
    }
    

52. S. Esmaeil Zadeh Soudjani and A. Abate, “Probabilistic Reach-Avoid Computation for Partially-Degenerate Stochastic Processes,” IEEE Transactions on Automatic Control, vol. 58, no. 12, pp. 528-534, Dec 2013.
    [bibtex] [url]

    @article{SA13b,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Probabilistic Reach-Avoid Computation for Partially-Degenerate Stochastic Processes},
      journal = {IEEE Transactions on Automatic Control},
      year = {2013},
      volume = {58},
      number = {12},
      pages = {528--534},
      url = {./publications/SA13b.pdf}
    }
    

53. J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros and C. J. Tomlin, “A stochastic games framework for verification and control of discrete-time stochastic hybrid systems,” Automatica, vol. 49, no. 9, pp. 2665-2674, 2013.
    [bibtex] [url]

    @article{DKSALT13,
      author = {J. Ding and M. Kamgarpour and S. Summers and A. Abate and J. Lygeros and C.J. Tomlin},
      title = {A stochastic games framework for verification and control of discrete-time stochastic hybrid systems},
      journal = {Automatica},
      year = {2013},
      volume = {49},
      number = {9},
      pages = {2665--2674},
      url = {./publications/DKSALT13.pdf}
    }
    

54. K. Staňková, A. Abate and M. W. Sabelis, “Intra-seasonal Strategies Based on Energy Budgets in a Dynamic Predator-Prey Game,” Advances in Dynamic Games -- Annals of the International Society of Dynamic Games, vol. 13, pp. 205-222, 2013.
    [bibtex] [url]

    @article{SAS13b,
      author = {K. Staňková and A. Abate and M.W. Sabelis},
      title = {Intra-seasonal Strategies Based on Energy Budgets in a Dynamic Predator-Prey Game},
      journal = {Advances in Dynamic Games -- Annals of the International Society of Dynamic Games},
      year = {2013},
      volume = {13},
      pages = {205--222},
      url = {./publications/SAS13b.pdf}
    }
    

55. M. Balandat, W. Zhang and A. Abate, “Infinite Horizon Constrained Switched LQR Problem,” Systems and Control Letters, vol. 61, no. 4, pp. 464-471, 2012.
    [bibtex] [url]

    @article{BZA12,
      author = {M. Balandat and W. Zhang and A. Abate},
      title = {Infinite Horizon Constrained Switched LQR Problem},
      journal = {Systems and Control Letters},
      year = {2012},
      volume = {61},
      number = {4},
      pages = {464--471},
      url = {./publications/BZA12.pdf}
    }
    

56. S. Esmaeil Zadeh Soudjani and A. Abate, “Adaptive and Sequential Gridding for Abstraction and Verification of Stochastic Processes,” SIAM Journal on Applied Dynamical Systems, vol. 12, no. 2, pp. 921-956, 2012.
    [bibtex] [url]

    @article{SA13,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Adaptive and Sequential Gridding for Abstraction and Verification of Stochastic Processes},
      journal = {SIAM Journal on Applied Dynamical Systems},
      year = {2012},
      volume = {12},
      number = {2},
      pages = {921--956},
      url = {./publications/SA13.pdf}
    }
    

57. E. K. Brinkman, K. Schipper, N. Bongaerts, M. J. Voges, A. Abate and A. Wahl, “A toolkit to enable hydrocarbon conversion in aqueous environments,” Journal of Visualized Experiments, vol. e4182, pp. 1-13, June 2012.
    [bibtex] [url]

    @article{BSBVAW12,
      author = {E.K. Brinkman and K. Schipper and N. Bongaerts and M.J. Voges and A. Abate and A. Wahl},
      title = {A toolkit to enable hydrocarbon conversion in aqueous environments},
      journal = {Journal of Visualized Experiments},
      year = {2012},
      volume = {e4182},
      pages = {1--13},
      url = {./publications/BSBVAW12.pdf}
    }
    

58. A. Abate, R. C. Hillen and S. A. Wahl, “Piecewise Affine Approximation of fluxes and enzyme kinetics from in-vivo ^13C labeling experiments,” International Journal of Robust and Nonlinear Control, vol. 22, no. 10, pp. 1120-1139, 2012. Special Issue on System Identification for Biological Systems.
    [bibtex] [url]

    @article{AHW12,
      author = {A. Abate and R.C. Hillen and S.A. Wahl},
      title = {Piecewise Affine Approximation of fluxes and enzyme kinetics from in-vivo ^13C labeling experiments},
      journal = {International Journal of Robust and Nonlinear Control},
      year = {2012},
      volume = {22},
      number = {10},
      pages = {1120--1139},
      note = {Special Issue on System Identification for Biological Systems},
      url = {./publications/AHW12.pdf}
    }
    

59. A. Abate, S. Vincent, R. Dobbe, A. Silletti, N. Master, J. Axelrod and C. J. Tomlin, “A Mechanical Modeling Framework for the Study of Epithelial Morphogenesis,” IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 9, no. 6, pp. 1607-1620, Nov 2012.
    [bibtex] [url]

    @article{AVDSMAT12,
      author = {A. Abate and S. Vincent and R. Dobbe and A. Silletti and N. Master and J. Axelrod and C.J. Tomlin},
      title = {A Mechanical Modeling Framework for the Study of Epithelial Morphogenesis},
      journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
      year = {2012},
      volume = {9},
      number = {6},
      pages = {1607--1620},
      url = {./publications/AVDSMAT12.pdf}
    }
    

60. D. Adzkiya, B. De Schutter and A. Abate, “Finite Bisimulations of Max-Plus-Linear Systems,” IEEE Transactions on Automatic Control, vol. 58, no. 12, pp. 3039-3054, Dec 2012.
    [bibtex] [url]

    @article{ADSA13,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Finite Bisimulations of Max-Plus-Linear Systems},
      journal = {IEEE Transactions on Automatic Control},
      year = {2012},
      volume = {58},
      number = {12},
      pages = {3039--3054},
      url = {./publications/ADSA13.pdf}
    }
    

61. W. Zhang, J. Hu and A. Abate, “Infinite Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis,” IEEE Transactions on Automatic Control, vol. 57, no. 7, pp. 1825-1821, Jul 2012.
    [bibtex] [url]

    @article{ZHA12,
      author = {W. Zhang and J. Hu and A. Abate},
      title = {Infinite Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis},
      journal = {IEEE Transactions on Automatic Control},
      year = {2012},
      volume = {57},
      number = {7},
      pages = {1825--1821},
      url = {./publications/ZHA12.pdf}
    }
    

62. M. Vitus, W. Zhang, A. Abate, J. Hu and C. J. Tomlin, “On efficient sensor scheduling for linear dynamical systems,” Automatica, vol. 48, no. 8, pp. 2482-2493, Aug 2012.
    [bibtex] [url]

    @article{VZAHT12,
      author = {M. Vitus and W. Zhang and A. Abate and J. Hu and C.J. Tomlin},
      title = {On efficient sensor scheduling for linear dynamical systems},
      journal = {Automatica},
      year = {2012},
      volume = {48},
      number = {8},
      pages = {2482--2493},
      url = {./publications/VZAHT12.pdf}
    }
    

63. A. Silletti, A. Abate, J. Axelrod and C. Tomlin, “Versatile Spectral Methods for Point Set Matching,” Pattern Recognition Letters, vol. 32, pp. 731-739, 2011.
    [bibtex] [url]

    @article{SAAT11,
      author = {A. Silletti and A. Abate and J. Axelrod and C. Tomlin},
      title = {Versatile Spectral Methods for Point Set Matching},
      journal = {Pattern Recognition Letters},
      year = {2011},
      volume = {32},
      pages = {731--739},
      url = {./publications/SAAT11.pdf}
    }
    

64. A. Abate, A. D'Innocenzo and M. D. Di Benedetto, “Approximate Abstractions of Stochastic Hybrid systems,” IEEE Transactions on Automatic Control, vol. 56, no. 11, pp. 2688-2694, 2011.
    [bibtex] [url]

    @article{AIB11,
      author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto},
      title = {Approximate Abstractions of Stochastic Hybrid systems},
      journal = {IEEE Transactions on Automatic Control},
      year = {2011},
      volume = {56},
      number = {11},
      pages = {2688--2694},
      url = {./publications/AIB11.pdf}
    }
    

65. A. Abate, J. Lygeros and S. Sastry, “Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis,” Systems and Control Letters, vol. 59, no. 1, pp. 79-85, Jan 2010.
    [bibtex] [url]

    @article{ALS10,
      author = {A. Abate and J. Lygeros and S. Sastry},
      title = {Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis},
      journal = {Systems and Control Letters},
      year = {2010},
      volume = {59},
      number = {1},
      pages = {79--85},
      url = {./publications/ALS10.pdf}
    }
    

66. A. Abate, J. P. Katoen, J. Lygeros and M. Prandini, “Approximate Model Checking of Stochastic Hybrid Systems,” European Journal of Control, vol. 16, no. 6, pp. 624-641, 2010.
    [bibtex] [url]

    @article{AKLP10,
      author = {A. Abate and J.P. Katoen and J. Lygeros and M. Prandini},
      title = {Approximate Model Checking of Stochastic Hybrid Systems},
      journal = {European Journal of Control},
      year = {2010},
      volume = {16},
      number = {6},
      pages = {624--641},
      url = {./publications/AKLP10.pdf}
    }
    

67. A. Abate, A. D'Innocenzo, M. D. Di Benedetto and S. Sastry, “Understanding Deadlock and Livelock Behaviors in Hybrid Control Systems,” Nonlinear Analysis: Hybrid Systems, vol. 3, no. 2, pp. 150-162, May 2009.
    [bibtex] [url]

    @article{AIBS09,
      author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto and S. Sastry},
      title = {Understanding Deadlock and Livelock Behaviors in Hybrid Control Systems},
      journal = {Nonlinear Analysis: Hybrid Systems},
      year = {2009},
      volume = {3},
      number = {2},
      pages = {150--162},
      url = {./publications/AIBS09.pdf}
    }
    

68. W. Zhang, J. Hu and A. Abate, “On the Value Function of the Discrete-Time Switched LQR Problem,” IEEE Transactions on Automatic Control, vol. 54, no. 11, pp. 2669-2674, Nov 2009.
    [bibtex] [url]

    @article{ZAH09,
      author = {W. Zhang and J. Hu and A. Abate},
      title = {On the Value Function of the Discrete-Time Switched LQR Problem},
      journal = {IEEE Transactions on Automatic Control},
      year = {2009},
      volume = {54},
      number = {11},
      pages = {2669--2674},
      url = {./publications/ZAH08.pdf}
    }
    

69. A. Abate, A. Tiwari and S. Sastry, “Box Invariance in biologically-inspired dynamical systems,” Automatica, vol. 45, no. 7, pp. 1601-1610, Jul 2009.
    [bibtex] [url]

    @article{ATS09,
      author = {A. Abate and A. Tiwari and S. Sastry},
      title = {Box Invariance in biologically-inspired dynamical systems},
      journal = {Automatica},
      year = {2009},
      volume = {45},
      number = {7},
      pages = {1601--1610},
      url = {./publications/ATS09.pdf}
    }
    

70. W. Zhang, A. Abate, J. Hu and M. Vitus, “Exponential Stabilization of Discrete-Time Switched Linear Systems,” Automatica, vol. 45, no. 11, pp. 2526-2536, Nov 2009.
    [bibtex] [url]

    @article{ZAHV09,
      author = {W. Zhang and A. Abate and J. Hu and M. Vitus},
      title = {Exponential Stabilization of Discrete-Time Switched Linear Systems},
      journal = {Automatica},
      year = {2009},
      volume = {45},
      number = {11},
      pages = {2526--2536},
      url = {./publications/ZAHV09.pdf}
    }
    

71. R. Boscolo-Berto, F. Dal Moro, A. Abate, G. Arandjelovic, F. Tosato and P. Bassi, “Do Weather Conditions Influence the Onset of Renal Colic? A Novel Approach to Analysis,” Urol. Int., vol. 80, no. 1, pp. 19-25, Jan 2008.
    [bibtex] [url]

    @article{BBDMAATP08,
      author = {R. Boscolo-Berto and F. Dal Moro and A. Abate and G. Arandjelovic and F. Tosato and P. Bassi},
      title = {Do Weather Conditions Influence the Onset of Renal Colic? A Novel Approach to Analysis},
      journal = {Urol. Int.},
      year = {2008},
      volume = {80},
      number = {1},
      pages = {19--25},
      url = {./publications/BBDMAATP08.pdf}
    }
    

72. D. Ma, K. Amonlirdviman, R. Raffard, A. Abate, C. J. Tomlin and J. D. Axelrod, “Cell packing influences planar cell polarity signaling,” The Proceedings of the National Academy of Sciences, vol. 105, no. 48, pp. 18800-18805, Dec 2008.
    [bibtex] [url]

    @article{MARATA08,
      author = {D. Ma and K. Amonlirdviman and R. Raffard and A. Abate and C.J. Tomlin and J.D. Axelrod},
      title = {Cell packing influences planar cell polarity signaling},
      journal = {The Proceedings of the National Academy of Sciences},
      year = {2008},
      volume = {105},
      number = {48},
      pages = {18800--18805},
      url = {./publications/MARATA08.pdf}
    }
    

73. A. Abate, M. Prandini, J. Lygeros and S. Sastry, “Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems,” Automatica, vol. 44, no. 11, pp. 2724-2734, Nov 2008.
    [bibtex] [url]

    @article{APLS08,
      author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
      title = {Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems},
      journal = {Automatica},
      year = {2008},
      volume = {44},
      number = {11},
      pages = {2724--2734},
      url = {./publications/APLS08.pdf}
    }
    

74. A. Abate, F. Dal Moro, G. Lanckriet, G. Arandjelovic, P. Gasparella, P. Bassi, M. Mancini and F. Pagano, “A Novel Approach in Evaluation of Spontaneous Stone Passage: Use of Statistical Learning Methods,” Kidney International, vol. 69, no. 1, pp. 157-160, Jan 2006.
    [bibtex] [url]

    @article{ADMLAGBP06,
      author = {A. Abate and F. Dal Moro and G. Lanckriet and G. Arandjelovic and P. Gasparella and P. Bassi and M. Mancini and F. Pagano},
      title = {A Novel Approach in Evaluation of Spontaneous Stone Passage: Use of Statistical Learning Methods},
      journal = {Kidney International},
      year = {2006},
      volume = {69},
      number = {1},
      pages = {157--160},
      url = {./publications/ADMLAGBP06.pdf}
    }
    

Proceedings of International Conferences (Springer’s LNCS and LNBI, Dagstuhl’s LIPICS)

1. A. Abate, A. Cimatti, A. Micheli and M. S. Mufid, “Computation of Transient in Max-Plus Linear Systems via SMT-Solving,” in Proceedings of FORMATS, LNCS 12288, pp. 161-177, 2020.
   [bibtex] [url]

   @inproceedings{bcACMM20,
     author = {A. Abate and A. Cimatti and A. Micheli and M.S. Mufid},
     title = {Computation of Transient in Max-Plus Linear Systems via SMT-Solving},
     booktitle = {Proceedings of FORMATS, LNCS 12288},
     year = {2020},
     pages = {161-177},
     url = {./publications/bcACMM20.pdf}
   }
   

2. D. Ahmed, A. Peruffo and A. Abate, “Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers,” in Proceedings of TACAS, LNCS 12078, pp. 97-114, 2020.
   [bibtex] [url]

   @inproceedings{bcAPA20,
     author = {D. Ahmed and A. Peruffo and A. Abate},
     title = {Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers},
     booktitle = {Proceedings of TACAS, LNCS 12078},
     year = {2020},
     pages = {97-114},
     url = {./publications/bcAPA20.pdf}
   }
   

3. M. Hasanbeig, D. Kroening and A. Abate, “Deep Reinforcement Learning with Temporal Logics,” in Proceedings of FORMATS, LNCS 12288, pp. 1-22, 2020.
   [bibtex] [url]

   @inproceedings{bcHKA20,
     author = {M. Hasanbeig and D. Kroening and A. Abate},
     title = {Deep Reinforcement Learning with Temporal Logics},
     booktitle = {Proceedings of FORMATS, LNCS 12288},
     year = {2020},
     pages = {1-22},
     url = {./publications/bcHKA20.pdf}
   }
   

4. G. Molyneux and A. Abate, “ABC(SMC)^2: Simultaneous inference and formal verification,” in Proceedings of CMSB, LNCS 12314, pp. 255-279, 2020.
   [bibtex] [url]

   @inproceedings{bcMA20,
     author = {G. Molyneux and A. Abate},
     title = {ABC(SMC)^2: Simultaneous inference and formal verification},
     booktitle = {Proceedings of CMSB, LNCS 12314},
     year = {2020},
     pages = {255-279},
     url = {./publications/bcMA20.pdf}
   }
   

5. K. Polymenakos, N. Rontsis, A. Abate and S. Roberts, “Safe PILCO: a software tool for safe and data-efficient policy synthesis,” in Proceedings of QEST, LNCS 12289, pp. 18-26, 2020.
   [bibtex] [url]

   @inproceedings{bcPRAR20,
     author = {K. Polymenakos and N. Rontsis and A. Abate and S. Roberts},
     title = {Safe PILCO: a software tool for safe and data-efficient policy synthesis},
     booktitle = {Proceedings of QEST, LNCS 12289},
     year = {2020},
     pages = {18-26},
     url = {./publications/bcPRAR20.pdf}
   }
   

6. N. Cauchi and A. Abate, “StocHy: automatic verification and synthesis of stochastic processes,” in Proceedings of TACAS, LNCS 11428, pp. 247-264, 2019.
   [bibtex] [url]

   @inproceedings{bcCA19,
     author = {N. Cauchi and A. Abate},
     title = {StocHy: automatic verification and synthesis of stochastic processes},
     booktitle = {Proceedings of TACAS, LNCS 11428},
     year = {2019},
     pages = {247-264},
     url = {./publications/bcCA19.pdf}
   }
   

7. M. S. Mufid, D. Adzkiya and A. Abate, “Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions,” in Proceedings of FORMATS, LNCS 11750, pp. 142-159, 2019.
   [bibtex] [url]

   @inproceedings{bcMAA19,
     author = {M.S. Mufid and D. Adzkiya and A. Abate},
     title = {Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions},
     booktitle = {Proceedings of FORMATS, LNCS 11750},
     year = {2019},
     pages = {142-159},
     url = {./publications/bcMAA19.pdf}
   }
   

8. G. Molyneux, V. Wijesuriya and A. Abate, “Bayesian Verification of Chemical Reaction Networks,” in Proceedings of SASB, LNCS 12233, pp. 461-479, 2019.
   [bibtex] [url]

   @inproceedings{bcMWA19,
     author = {G. Molyneux and V. Wijesuriya and A. Abate},
     title = {Bayesian Verification of Chemical Reaction Networks},
     booktitle = {Proceedings of SASB, LNCS 12233},
     year = {2019},
     pages = {461-479},
     url = {./publications/bcMWA19.pdf}
   }
   

9. A. Peruffo, E. Guiu, P. Panciatici and A. Abate, “Model-based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources,” in Proceedings of ACD, 2019.
   [bibtex] [url]

   @inproceedings{bcPGPA19,
     author = {A. Peruffo and E. Guiu and P. Panciatici and A. Abate},
     title = {Model-based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources},
     booktitle = {Proceedings of ACD},
     year = {2019},
     url = {./publications/bcPGPA19.pdf}
   }
   

10. A. Peruffo, E. Guiu, P. Panciatici and A. Abate, “Safety Guarantees for the Electricity Grid with Significant Renewables Generation,” in Proceedings of QEST, LNCS 11785, pp. 332-349, 2019.
    [bibtex] [url]

    @inproceedings{bcPGPA19b,
      author = {A. Peruffo and E. Guiu and P. Panciatici and A. Abate},
      title = {Safety Guarantees for the Electricity Grid with Significant Renewables Generation},
      booktitle = {Proceedings of QEST, LNCS 11785},
      year = {2019},
      pages = {332-349},
      url = {./publications/bcPGPA19b.pdf}
    }
    

11. V. Wijesuriya and A. Abate, “Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes,” in Proceedings of QEST, LNCS 11785, pp. 91-108, 2019.
    [bibtex] [url]

    @inproceedings{bcWA19,
      author = {V. Wijesuriya and A. Abate},
      title = {Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes},
      booktitle = {Proceedings of QEST, LNCS 11785},
      year = {2019},
      pages = {91-108},
      url = {./publications/bcWA19.pdf}
    }
    

12. A. Abate, C. Budde, N. Cauchi, A. Van Harmelen, K. Hoque and M. Stoelinga, “Modelling Smart Buildings using Fault Maintenance Trees,” in Proceedings of EPEW, LNCS 11178, pp. 110-125, 2018.
    [bibtex] [url]

    @inproceedings{bcABCHHS18,
      author = {A. Abate and C. Budde and N. Cauchi and A. Van Harmelen and K. Hoque and M. Stoelinga},
      title = {Modelling Smart Buildings using Fault Maintenance Trees},
      booktitle = {Proceedings of EPEW, LNCS 11178},
      year = {2018},
      pages = {110-125},
      url = {./publications/bcABCHHS18.pdf}
    }
    

13. A. Abate, L. Cardelli, M. Kwiatkowska, L. Laurenti and B. Yordanov, “Experimental Biological Protocols with Formal Semantics,” in Proceedings of CMSB, LNCS 11095, pp. 165-182, 2018.
    [bibtex] [url]

    @inproceedings{bcACKLY18,
      author = {A. Abate and L. Cardelli and M. Kwiatkowska and L. Laurenti and B. Yordanov},
      title = {Experimental Biological Protocols with Formal Semantics},
      booktitle = {Proceedings of CMSB, LNCS 11095},
      year = {2018},
      pages = {165-182},
      url = {./publications/bcACKLY18.pdf}
    }
    

14. A. Abate, C. David, P. Kesseli, D. Kroening and E. Polgreen, “Counterexample Guided Inductive Synthesis Modulo Theories,” in Proceedings of CAV, LNCS 10981, pp. 270-288, 2018.
    [bibtex] [url]

    @inproceedings{bcADKKP18,
      author = {A. Abate and C. David and P. Kesseli and D. Kroening and E. Polgreen},
      title = {Counterexample Guided Inductive Synthesis Modulo Theories},
      booktitle = {Proceedings of CAV, LNCS 10981},
      year = {2018},
      pages = {270-288},
      url = {./publications/bcADKKP18.pdf}
    }
    

15. M. Mufid, D. Adzkiya and A. Abate, “Tropical Abstractions of Max-Plus Linear Systems,” in Proceedings of FORMATS, LNCS 11022, pp. 271-287, 2018.
    [bibtex] [url]

    @inproceedings{bcMAA18,
      author = {M. Mufid and D. Adzkiya and A. Abate},
      title = {Tropical Abstractions of Max-Plus Linear Systems},
      booktitle = {Proceedings of FORMATS, LNCS 11022},
      year = {2018},
      pages = {271-287},
      url = {./publications/bcMAA18.pdf}
    }
    

16. A. Peruffo, E. Guiu, P. Panciatici and A. Abate, “Aggregated Markov Models of an Heterogeneous Population of Photovoltaic Panels,” in Proceedings of QEST, LNCS 10503, pp. 72-87, 2018.
    [bibtex] [url]

    @inproceedings{bcPGPA18,
      author = {A. Peruffo and E. Guiu and P. Panciatici and A. Abate},
      title = {Aggregated Markov Models of an Heterogeneous Population of Photovoltaic Panels},
      booktitle = {Proceedings of QEST, LNCS 10503},
      year = {2018},
      pages = {72-87},
      url = {./publications/bcPGPA18.pdf}
    }
    

17. E. Polgreen, V. Wijesuriya, S. Haesaert and A. Abate, “Automated Experiment Design for Efficient Verification of Parametric Markov Decision Processes,” in Proceedings of QEST, LNCS 10503, pp. 259-274, 2018.
    [bibtex] [url]

    @inproceedings{bcPWHA18,
      author = {E. Polgreen and V. Wijesuriya and S. Haesaert and A. Abate},
      title = {Automated Experiment Design for Efficient Verification of Parametric Markov Decision Processes},
      booktitle = {Proceedings of QEST, LNCS 10503},
      year = {2018},
      pages = {259-274},
      url = {./publications/bcPWHA18.pdf}
    }
    

18. A. Abate, I. Bessa, D. Cattaruzza, L. Cordeiro, C. David, P. Kesseli, E. Polgreen and D. Kroening, “Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants,” in Proceedings of CAV, LNCS 10426, pp. 462-482, 2017.
    [bibtex] [url]

    @inproceedings{bcABCCDKPK17,
      author = {A. Abate and I. Bessa and D. Cattaruzza and L. Cordeiro and C. David and P. Kesseli and E. Polgreen and D. Kroening},
      title = {Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants},
      booktitle = {Proceedings of CAV, LNCS 10426},
      year = {2017},
      pages = {462-482},
      url = {./publications/bcABCCDKPK17.pdf}
    }
    

19. G. Bian and A. Abate, “On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context,” in Proceedings of FOSSACS, LNCS 10203, pp. 321-337, 2017.
    [bibtex] [url]

    @inproceedings{bcBA17,
      author = {G. Bian and A. Abate},
      title = {On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context},
      booktitle = {Proceedings of FOSSACS, LNCS 10203},
      year = {2017},
      pages = {321-337},
      url = {./publications/bcBA17.pdf}
    }
    

20. D. Cattaruzza, A. Abate, P. Schrammel and D. Kroening, “Sound Numeric Computation in Abstract Acceleration,” in Proceedings of NSV, LNCS 10381, pp. 38-60, 2017.
    [bibtex] [url]

    @inproceedings{bcCASK17,
      author = {D. Cattaruzza and A. Abate and P. Schrammel and D. Kroening},
      title = {Sound Numeric Computation in Abstract Acceleration},
      booktitle = {Proceedings of NSV, LNCS 10381},
      year = {2017},
      pages = {38-60},
      url = {./publications/bcCASK17.pdf}
    }
    

21. A. Abate, M. Ceska and M. Kwiatkowska, “Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations,” in Proceedings of ATVA16, LNCS 9938, pp. 13-31, 2016.
    [bibtex] [url]

    @inproceedings{bcACK16,
      author = {A. Abate and M. Ceska and M. Kwiatkowska},
      title = {Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations},
      booktitle = {Proceedings of ATVA16, LNCS 9938},
      year = {2016},
      pages = {13--31},
      url = {./publications/bcACK16.pdf}
    }
    

22. S. Haesert, A. Abate and P. M. J. V.d. Hof, “Verification of general Markov decision processes by approximate similarity relations and policy refinement,” in Proceedings of QEST16, LNCS 9826, pp. 227-243, 2016.
    [bibtex] [url]

    @inproceedings{bcHAV16,
      author = {S. Haesert and A. Abate and P.M.J. V.d. Hof},
      title = {Verification of general Markov decision processes by approximate similarity relations and policy refinement},
      booktitle = {Proceedings of QEST16, LNCS 9826},
      year = {2016},
      pages = {227--243},
      url = {./publications/bcHAV16.pdf}
    }
    

23. E. Polgreen, V. Wijesuriya, S. Haesert and A. Abate, “Data-efficient Bayesian verification of parametric Markov chains,” in Proceedings of QEST16, LNCS 9826, pp. 35-51, 2016.
    [bibtex] [url]

    @inproceedings{bcPVHA16,
      author = {E. Polgreen and V. Wijesuriya and S. Haesert and A. Abate},
      title = {Data-efficient Bayesian verification of parametric Markov chains},
      booktitle = {Proceedings of QEST16, LNCS 9826},
      year = {2016},
      pages = {35--51},
      url = {./publications/bcPVHA16.pdf}
    }
    

24. S. E. Z. Soudjani, R. Majumdar and A. Abate, “Safety Verification of Continuous-Space Pure Jump Markov Processes,” in Proceedings of TACAS16, LNCS 9636, pp. 147-163, 2016.
    [bibtex] [url]

    @inproceedings{bcSMA16,
      author = {S.E.Z. Soudjani and R. Majumdar and A. Abate},
      title = {Safety Verification of Continuous-Space Pure Jump Markov Processes},
      booktitle = {Proceedings of TACAS16, LNCS 9636},
      year = {2016},
      pages = {147-163},
      url = {./publications/bcSMA16.pdf}
    }
    

25. A. Abate, L. Brim, M. Ceska and M. Kwiatkowska, “Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks,” in Proceedings of CAV15, LNCS 9206, pp. 195-213, 2015.
    [bibtex] [url]

    @inproceedings{bcABCK15,
      author = {A. Abate and L. Brim and M. Ceska and M. Kwiatkowska},
      title = {Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks},
      booktitle = {Proceedings of CAV15, LNCS 9206},
      publisher = {Springer Verlag},
      year = {2015},
      pages = {195-213},
      url = {./publications/bcABCK15.pdf}
    }
    

26. D. Cattaruzza, A. Abate, P. Schrammel and D. Kroening, “Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration,” in Proceedings of SAS15, LNCS 9291, pp. 312-331, 2015.
    [bibtex] [url]

    @inproceedings{bcCASK15,
      author = {D. Cattaruzza and A. Abate and P. Schrammel and D. Kroening},
      title = {Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration},
      booktitle = {Proceedings of SAS15, LNCS 9291},
      publisher = {Springer Verlag},
      year = {2015},
      pages = {312-331},
      url = {./publications/bcCASK15.pdf}
    }
    

27. M. Fränzle, S. Gerwinn, P. Kröger, A. Abate and J.-P. Katoen, “Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems,” in Proceedings of FORMATS15, LNCS 9268, pp. 93-107, 2015.
    [bibtex] [url]

    @inproceedings{bcFGKAK15,
      author = {M. Fränzle and S. Gerwinn and P. Kröger and A. Abate and J.-P. Katoen},
      title = {Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems},
      booktitle = {Proceedings of FORMATS15, LNCS 9268},
      publisher = {Springer Verlag},
      year = {2015},
      pages = {93-107},
      url = {./publications/bcFGKAK15.pdf}
    }
    

28. S. Esmaeil Zadeh Soudjani, C. Gevaerts and A. Abate, “FAUST^2: Formal Abstractions of Uncountable-STate STochastic processes,” in Proceedings of TACAS15, LNCS 9035, pp. 272-286, 2015.
    [bibtex] [url]

    @inproceedings{bcSA15,
      author = {S. Esmaeil Zadeh Soudjani and C. Gevaerts and A. Abate},
      title = {FAUST{^2}: Formal Abstractions of Uncountable-STate STochastic processes},
      booktitle = {Proceedings of TACAS15, LNCS 9035},
      publisher = {Springer Verlag},
      year = {2015},
      pages = {272--286},
      url = {./publications/bcSA15.pdf}
    }
    

29. S. Esmaeil Zadeh Soudjani, R. Majumdar and A. Abate, “Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes,” in Proceedings of CONCUR15, LIPICS 42, pp. 169-183, 2015.
    [bibtex] [url]

    @inproceedings{bcSAM15,
      author = {S. Esmaeil Zadeh Soudjani and R. Majumdar and A. Abate},
      title = {Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes},
      booktitle = {Proceedings of CONCUR15, LIPICS 42},
      publisher = {Dagstuhl Publishing},
      year = {2015},
      pages = {169-183},
      url = {./publications/bcSAM15.pdf}
    }
    

30. D. Adzkiya, B. De Schutter and A. Abate, “Forward Reachability Computation for Autonomous Max-Plus-Linear Systems,” in Proceedings of TACAS14, LNCS 8413, pp. 248-262, 2014.
    [bibtex] [url]

    @inproceedings{bcADSA14,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Forward Reachability Computation for Autonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of TACAS14, LNCS 8413},
      publisher = {Springer Verlag},
      year = {2014},
      pages = {248--262},
      url = {./publications/bcADSA14.pdf}
    }
    

31. A. Abate, M. Kwiatkowska, G. Norman and D. Parker, “Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations,” in Proceedings of Horizons of the Mind, LNCS 8464, pp. 40-58, 2014.
    [bibtex] [url]

    @inproceedings{bcAKNP14,
      author = {A. Abate and M. Kwiatkowska and G. Norman and D. Parker},
      title = {Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations},
      booktitle = {Proceedings of Horizons of the Mind, LNCS 8464},
      publisher = {Springer Verlag},
      year = {2014},
      pages = {40--58},
      url = {./publications/bcAKNP14.pdf}
    }
    

32. L. R. M. Maruthi, I. Tkachev, A. Carta, E. Cinquemani, P. Hersen, G. Batt and A. Abate, “Towards real-time control of gene expression at the single cell level: a stochastic control approach,” in Proceedings of CMSB14, LNBI 8859, pp. 155-172, 2014.
    [bibtex] [url]

    @inproceedings{bcMTCCHBA14,
      author = {L.R.M. Maruthi and I. Tkachev and A. Carta and E. Cinquemani and P. Hersen and G. Batt and A. Abate},
      title = {Towards real-time control of gene expression at the single cell level: a stochastic control approach},
      booktitle = {Proceedings of CMSB14, LNBI 8859},
      publisher = {Springer Verlag},
      year = {2014},
      pages = {155--172},
      url = {./publications/bcMTCCHBA14.pdf}
    }
    

33. S. Esmaeil Zadeh Soudjani and A. Abate, “Precise Approximations of the Probability Distribution of a Markov Process in Time: an Application to Probabilistic Invariance,” in Proceedings of TACAS14, LNCS 8413, pp. 547-561, 2014.
    [bibtex] [url]

    @inproceedings{bcSA14,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Precise Approximations of the Probability Distribution of a Markov Process in Time: an Application to Probabilistic Invariance},
      booktitle = {Proceedings of TACAS14, LNCS 8413},
      publisher = {Springer Verlag},
      year = {2014},
      pages = {547--561},
      url = {./publications/bcSA14.pdf}
    }
    

34. S. Esmaeil Zadeh Soudjani, D. Adzkiya and A. Abate, “Finite Abstractions of Stochastic Max-Plus-Linear Systems,” in Proceedings of QEST14, LNCS 8657, pp. 57-73, 2014.
    [bibtex] [url]

    @inproceedings{bcSAA14,
      author = {S. Esmaeil Zadeh Soudjani and D. Adzkiya and A. Abate},
      title = {Finite Abstractions of Stochastic Max-Plus-Linear Systems},
      booktitle = {Proceedings of QEST14, LNCS 8657},
      publisher = {Springer Verlag},
      year = {2014},
      pages = {57--73},
      url = {./publications/bcSAA14.pdf}
    }
    

35. S. Esmaeil Zadeh Soudjani, S. Gerwinn, C. Ellen, M. Fraenzle and A. Abate, “Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads,” in Proceedings of QEST14, LNCS 8657, pp. 74-89, 2014.
    [bibtex] [url]

    @inproceedings{bcSGEFA14,
      author = {S. Esmaeil Zadeh Soudjani and S. Gerwinn and C. Ellen and M. Fraenzle and A. Abate},
      title = {Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads},
      booktitle = {Proceedings of QEST14, LNCS 8657},
      publisher = {Springer Verlag},
      year = {2014},
      pages = {74--89},
      url = {./publications/bcSGEFA14.pdf}
    }
    

36. D. Adzkiya and A. Abate, “VeriSiMPL: Verification via biSimulations of MPL models,” in Proceedings of QEST13, LNCS 8054, pp. 274-277, 2013.
    [bibtex] [url]

    @inproceedings{bcAA13,
      author = {D. Adzkiya and A. Abate},
      title = {VeriSiMPL: Verification via biSimulations of MPL models},
      booktitle = {Proceedings of QEST13, LNCS 8054},
      publisher = {Springer Verlag},
      year = {2013},
      pages = {274--277},
      url = {./publications/bcAA13.pdf}
    }
    

37. M. Zamani and A. Abate, “Approximately Bisimilar Symbolic Models for Stochastic Switched Systems,” in Proceedings of QEST13, LNCS 8054, pp. 305-321, 2013.
    [bibtex] [url]

    @inproceedings{bcZA13,
      author = {M. Zamani and A. Abate},
      title = {Approximately Bisimilar Symbolic Models for Stochastic Switched Systems},
      booktitle = {Proceedings of QEST13, LNCS 8054},
      publisher = {Springer Verlag},
      year = {2013},
      pages = {305--321},
      url = {./publications/bcZA13.pdf}
    }
    

38. S. Esmaeil Zadeh Soudjani and A. Abate, “Higher Order Approximations for Verification of Stochastic Hybrid Systems,” in Proceedings of ATVA12, LNCS 7561, pp. 416-434, 2012.
    [bibtex] [url]

    @inproceedings{bcSA12,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Higher Order Approximations for Verification of Stochastic Hybrid Systems},
      booktitle = {Proceedings of ATVA12, LNCS 7561},
      publisher = {Springer Verlag},
      year = {2012},
      pages = {416--434},
      url = {./publications/bcSA12.pdf}
    }
    

39. Wei Zhang, Alessandro Abate and Jianghai Hu, “Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach,” in Proceedings of HSCC09, LNCS 5469, pp. 411-425, 2009.
    [bibtex] [url]

    @inproceedings{bcZAH09,
      author = {Wei Zhang and Alessandro Abate and Jianghai Hu},
      title = {Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach},
      booktitle = {Proceedings of HSCC09, LNCS 5469},
      publisher = {Springer Verlag},
      year = {2009},
      pages = {411--425},
      url = {./publications/bcZAH09.pdf}
    }
    

40. A. Abate, A. D'Innocenzo, M. D. Di Benedetto and S. Sastry, “Markov Set-Chains as Abstractions of Stochastic Hybrid Systems,” in Proceedings of HSCC08, LNCS 4981, pp. 1-15, 2008.
    [bibtex] [url]

    @inproceedings{bcAIBS08,
      author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto and S. Sastry},
      title = {Markov Set-Chains as Abstractions of Stochastic Hybrid Systems},
      booktitle = {Proceedings of HSCC08, LNCS 4981},
      publisher = {Springer Verlag},
      year = {2008},
      pages = {1--15},
      url = {./publications/bcAIBS08.pdf}
    }
    

41. A. Abate, M. Prandini, J. Lygeros and S. Sastry, “Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps,” in Proceedings of HSCC08, LNCS 4981, pp. 598-601, 2008.
    [bibtex] [url]

    @inproceedings{bcAPLS08,
      author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
      title = {Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps},
      booktitle = {Proceedings of HSCC08, LNCS 4981},
      publisher = {Springer Verlag},
      year = {2008},
      pages = {598--601},
      url = {./publications/bcAPLS08.pdf}
    }
    

42. A. Abate, S. Amin, M. Prandini, J. Lygeros and S. Sastry, “Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems,” in Proceedings of HSCC07, LNCS 4416, pp. 4-17, 2007.
    [bibtex] [url]

    @inproceedings{bcAAPLS07,
      author = {A. Abate and S. Amin and M. Prandini and J. Lygeros and S. Sastry},
      title = {Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems},
      booktitle = {Proceedings of HSCC07, LNCS 4416},
      publisher = {Springer Verlag},
      year = {2007},
      pages = {4--17},
      url = {./publications/bcAAPLS07.pdf}
    }
    

43. A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto and S. Sastry, “The Concept of Deadlock and Livelock in Hybrid Control Systems,” in Proceedings of HSCC07, LNCS 4416, pp. 628-632, 2007.
    [bibtex] [url]

    @inproceedings{bcAIPBS07,
      author = {A. Abate and A. D'Innocenzo and G. Pola and M.D. Di Benedetto and S. Sastry},
      title = {The Concept of Deadlock and Livelock in Hybrid Control Systems},
      booktitle = {Proceedings of HSCC07, LNCS 4416},
      publisher = {Springer Verlag},
      year = {2007},
      pages = {628--632},
      url = {./publications/bcAIPBS07.pdf}
    }
    

44. S. Amin, A. Abate, M. Prandini, J. Lygeros and S. Sastry, “Reachability analysis for controlled discrete time stochastic hybrid systems,” in Proceedings of HSCC06, LNCS 3927, pp. 49-63, 2006.
    [bibtex] [url]

    @inproceedings{bcAAPLS06,
      author = {S. Amin and A. Abate and M. Prandini and J. Lygeros and S. Sastry},
      title = {Reachability analysis for controlled discrete time stochastic hybrid systems},
      booktitle = {Proceedings of HSCC06, LNCS 3927},
      publisher = {Springer Verlag},
      year = {2006},
      pages = {49--63},
      url = {./publications/bcAAPLS06.pdf}
    }
    

Proceedings of International Conferences (ACM, IEEE, IFAC, others)

1. A. Abate, D. Ahmed, M. Giacobbe and A. Peruffo, “Formal Synthesis of Lyapunov Neural Networks,” in Proceedings of CDC, 2020.
   [bibtex] [url]

   @inproceedings{cAAGP20,
     author = {A. Abate and D. Ahmed and M. Giacobbe and A. Peruffo},
     title = {Formal Synthesis of Lyapunov Neural Networks},
     booktitle = {Proceedings of CDC},
     year = {2020},
     url = {./publications/cAAGP20.pdf}
   }
   

2. J. Brown, J. Chambers, A. Abate and A. Rogers, “SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Dwellings,” in Proceedings of BuildSys, pp. 21-30, 2020.
   [bibtex] [url]

   @inproceedings{cBCAR20,
     author = {J. Brown and J. Chambers and A. Abate and A. Rogers},
     title = {SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Dwellings},
     booktitle = {Proceedings of BuildSys},
     year = {2020},
     pages = {21-30},
     url = {./publications/cBCAR20.pdf}
   }
   

3. F. Cosentino, H. Oberhauser and A. Abate, “A Randomized Algorithm to Reduce the Support of Discrete Measures,” in Proceedings of NeurIPS, 2020.
   [bibtex] [url]

   @inproceedings{cCOA20,
     author = {F. Cosentino and H. Oberhauser and A. Abate},
     title = {A Randomized Algorithm to Reduce the Support of Discrete Measures},
     booktitle = {Proceedings of NeurIPS},
     year = {2020},
     url = {./publications/cCOA20.pdf}
   }
   

4. M. S. Mufid, D. Adzkiya and A. Abate, “Symbolic Reachability Analysis of High-Dimensional Max-Plus Linear Systems,” in Proceedings of WODES, 2020.
   [bibtex] [url]

   @inproceedings{cMAA20,
     author = {M.S. Mufid and D. Adzkiya and A. Abate},
     title = {Symbolic Reachability Analysis of High-Dimensional Max-Plus Linear Systems},
     booktitle = {Proceedings of WODES},
     year = {2020},
     url = {./publications/cMAA20.pdf}
   }
   

5. K. Polymenakos, L. Laurenti, A. Patane, J.-P. Calliess, L. Cardelli, M. Kwiatkowska, A. Abate and S. Roberts, “Safety Guarantees for Iterative Predictions with Gaussian Processes,” in Proceedings of CDC, 2020.
   [bibtex] [url]

   @inproceedings{cPetal20,
     author = {K. Polymenakos and L. Laurenti and A. Patane and J.-P. Calliess and L. Cardelli and M. Kwiatkowska and A. Abate and S. Roberts},
     title = {Safety Guarantees for Iterative Predictions with Gaussian Processes},
     booktitle = {Proceedings of CDC},
     year = {2020},
     url = {./publications/cPetal20.pdf}
   }
   

6. N. Cauchi, L. Laurenti, M. Lahijanian, A. Abate, M. Kwiatkowska and L. Cardelli, “Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems,” in Proceedings of HSCC, pp. 240-251, 2019.
   [bibtex] [url]

   @inproceedings{cCLLAKC19,
     author = {N. Cauchi and L. Laurenti and M. Lahijanian and A. Abate and M. Kwiatkowska and L. Cardelli},
     title = {Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems},
     booktitle = {Proceedings of HSCC},
     year = {2019},
     pages = {240-251},
     url = {./publications/cCLLAKC19.pdf}
   }
   

7. M. Hasanbeig, A. Abate and D. Kroening, “Logically-Constrained Neural Fitted Q-Iteration,” in Proceedings of AAMAS, pp. 2012-2014, 2019.
   [bibtex] [url]

   @inproceedings{cHAK19,
     author = {M. Hasanbeig and A. Abate and D. Kroening},
     title = {Logically-Constrained Neural Fitted Q-Iteration},
     booktitle = {Proceedings of AAMAS},
     year = {2019},
     pages = {2012-2014},
     url = {./publications/cHAK19.pdf}
   }
   

8. M. Hasanbeig, Y. Kantaros, A. Abate, D. Kroening, G. Pappas and I. Lee, “Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees,” in Proceedings of CDC, pp. 5338-5343, 2019.
   [bibtex] [url]

   @inproceedings{cHKAKGL19,
     author = {M. Hasanbeig and Y. Kantaros and A. Abate and D. Kroening and G. Pappas and I. Lee},
     title = {Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees},
     booktitle = {Proceedings of CDC},
     year = {2019},
     pages = {5338-5343},
     url = {./publications/cHKAKGL19.pdf}
   }
   

9. K. Polymenakos, A. Abate and S. Roberts, “Safe Policy Search Using Gaussian Process Models,” in Proceedings of AAMAS, pp. 1565-1573, 2019.
   [bibtex] [url]

   @inproceedings{cPAR19,
     author = {K. Polymenakos and A. Abate and S. Roberts},
     title = {Safe Policy Search Using Gaussian Process Models},
     booktitle = {Proceedings of AAMAS},
     year = {2019},
     pages = {1565-1573},
     url = {./publications/.pdf}
   }
   

10. Y. Zacchia Lun, A. Abate and A. D'Innocenzo, “Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems,” in Proceedings of ECC, pp. 4094-4099, 2019.
    [bibtex] [url]

    @inproceedings{cZAI19,
      author = {Y. Zacchia Lun and A. Abate and A. D'Innocenzo},
      title = {Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems},
      booktitle = {Proceedings of ECC},
      year = {2019},
      pages = {4094-4099},
      url = {./publications/cZAI19.pdf}
    }
    

11. A. Abate, C. Budde, N. Cauchi, K. Hoque and M. Stoelinga, “Assessment of Maintenance Policies for Smart Buildings,” in Proceedings of PHME, 2018.
    [bibtex] [url]

    @inproceedings{cABCHS18,
      author = {A. Abate and C. Budde and N. Cauchi and K. Hoque and M. Stoelinga},
      title = {Assessment of Maintenance Policies for Smart Buildings},
      booktitle = {Proceedings of PHME},
      year = {2018},
      url = {./publications/cABCHS18.pdf}
    }
    

12. N. Cauchi and A. Abate, “Benchmarks for cyber-physical systems: A modular model library for building automation systems,” in Proceedings of ADHS, pp. 49-54, 2018.
    [bibtex] [url]

    @inproceedings{cCA18,
      author = {N. Cauchi and A. Abate},
      title = {Benchmarks for cyber-physical systems: A modular model library for building automation systems},
      booktitle = {Proceedings of ADHS},
      year = {2018},
      pages = {49-54},
      url = {./publications/cCA18.pdf}
    }
    

13. S. Haesaert, S. Soudjani and A. Abate, “Temporal logic control of general Markov decision processes by approximate policy refinement,” in Proceedings of ADHS, pp. 73-78, 2018.
    [bibtex] [url]

    @inproceedings{cHSA18b,
      author = {S. Haesaert and S. Soudjani and A. Abate},
      title = {Temporal logic control of general Markov decision processes by approximate policy refinement},
      booktitle = {Proceedings of ADHS},
      year = {2018},
      pages = {73-78},
      url = {./publications/cHSA18b.pdf}
    }
    

14. A. Peruffo, A. Abate, E. Guiu and P. Panciatici, “Synchronous frequency grid dynamics in the presence of a large-scale population of photovoltaic panels,” in Proceedings of PSCC, pp. 1-7, 2018.
    [bibtex] [url]

    @inproceedings{cPAGP18,
      author = {A. Peruffo and A. Abate and E. Guiu and P. Panciatici},
      title = {Synchronous frequency grid dynamics in the presence of a large-scale population of photovoltaic panels},
      booktitle = {Proceedings of PSCC},
      year = {2018},
      pages = {1-7},
      url = {./publications/cPAGP18.pdf}
    }
    

15. A. Peruffo, E. Guiu, P. Panciatici and A. Abate, “Impact of Solar Panels and Cooling Devices on Frequency Control after a Generation Loss Incident,” in Proceedings of CDC, pp. 5904-5909, 2018.
    [bibtex] [url]

    @inproceedings{cPGPA18b,
      author = {A. Peruffo and E. Guiu and P. Panciatici and A. Abate},
      title = {Impact of Solar Panels and Cooling Devices on Frequency Control after a Generation Loss Incident},
      booktitle = {Proceedings of CDC},
      year = {2018},
      pages = {5904-5909},
      url = {./publications/cPGPA18b.pdf}
    }
    

16. Y. Zacchia Lun, J. Wheatley, A. D'Innocenzo and A. Abate, “Approximate Abstractions of Markov Chains with Interval Decision Processes,” in Proceedings of ADHS, pp. 91-96, 2018.
    [bibtex] [url]

    @inproceedings{cZWIA18,
      author = {Y. Zacchia Lun and J. Wheatley and A. D'Innocenzo and A. Abate},
      title = {Approximate Abstractions of Markov Chains with Interval Decision Processes},
      booktitle = {Proceedings of ADHS},
      year = {2018},
      pages = {91-96},
      url = {./publications/cZWIA18.pdf}
    }
    

17. A. Abate, “Formal verification of complex systems: Model-based and data-driven methods,” in Proceedings of MEMOCODE, pp. 91-93, 2017.
    [bibtex] [url]

    @inproceedings{cA17,
      author = {A. Abate},
      title = {Formal verification of complex systems: Model-based and data-driven methods},
      booktitle = {Proceedings of MEMOCODE},
      year = {2017},
      pages = {91-93},
      url = {./publications/cA17.pdf}
    }
    

18. A. Abate, I. Bessa, D. Cattaruzza, L. Chaves, L. Cordeiro, C. David, P. Kesseli, D. Kroening and E. Polgreen, “DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants,” in Proceedings of ASE, pp. 919-924, 2017.
    [bibtex] [url]

    @inproceedings{cABCCCDKKP17,
      author = {A. Abate and I. Bessa and D. Cattaruzza and L. Chaves and L. Cordeiro and C. David and P. Kesseli and D. Kroening and E. Polgreen},
      title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
      booktitle = {Proceedings of ASE},
      year = {2017},
      pages = {919-924},
      url = {./publications/cABCCCDKKP17.pdf}
    }
    

19. A. Abate, I. Bessa, D. Cattaruzza, L. Cordeiro, C. David, P. Kesseli and D. Kroening, “Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants,” in Proceedings of HSCC, pp. 197-206, 2017.
    [bibtex] [url]

    @inproceedings{cABCCDKKP17,
      author = {A. Abate and I. Bessa and D. Cattaruzza and L. Cordeiro and C. David and P. Kesseli and D. Kroening},
      title = {Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants},
      booktitle = {Proceedings of HSCC},
      year = {2017},
      pages = {197-206},
      url = {./publications/cABCCDKKP17.pdf}
    }
    

20. F. Chen, S. Haesaert, A. Abate and S. Weiland, “Control refinement for discrete-time descriptor systems: A behavioural approach via simulation relations,” in Proceedings of IFAC World Congress, pp. 15822-15827, 2017.
    [bibtex] [url]

    @inproceedings{cCHAW17,
      author = {F. Chen and S. Haesaert and A. Abate and S. Weiland},
      title = {Control refinement for discrete-time descriptor systems: A behavioural approach via simulation relations},
      booktitle = {Proceedings of IFAC World Congress},
      year = {2017},
      pages = {15822-15827},
      url = {./publications/cCHAW17.pdf}
    }
    

21. N. Cauchi, K. Hoque, M. Stoelinga and A. Abate, “Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees,” in Proceedings of BuildSys, 2017.
    [bibtex] [url]

    @inproceedings{cCHSA17,
      author = {N. Cauchi and K. Hoque and M. Stoelinga and A. Abate},
      title = {Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees},
      booktitle = {Proceedings of BuildSys},
      year = {2017},
      url = {./publications/cCHSA17.pdf}
    }
    

22. D. Adzkiya and A. Abate, “An efficient transformation from max-plus-linear systems to piecewise affine systems,” in Proceedings of ICAMIMIA, pp. 327-330, 2017.
    [bibtex] [url]

    @inproceedings{cDA18,
      author = {D. Adzkiya and A. Abate},
      title = {An efficient transformation from max-plus-linear systems to piecewise affine systems},
      booktitle = {Proceedings of ICAMIMIA},
      year = {2017},
      pages = {327-330},
      url = {./publications/cDA18.pdf}
    }
    

23. K. Lesser and A. Abate, “Multi-Objective Optimal Control with Safety as a Priority,” in Proceedings of ICCPS, pp. 25-36, 2017.
    [bibtex] [url]

    @inproceedings{cLA17,
      author = {K. Lesser and A. Abate},
      title = {Multi-Objective Optimal Control with Safety as a Priority},
      booktitle = {Proceedings of ICCPS},
      year = {2017},
      pages = {25-36},
      url = {./publications/cLA17.pdf}
    }
    

24. L. Laurenti, A. Abate, L. Bortolussi, M. Kwiatkowska, L. Cardelli and M. Ceska, “Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models,” in Proceedings of HSCC, pp. 55-64, 2017.
    [bibtex] [url]

    @inproceedings{cLABKCC17,
      author = {L. Laurenti and A. Abate and L. Bortolussi and M. Kwiatkowska and L. Cardelli and M. Ceska},
      title = {Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models},
      booktitle = {Proceedings of HSCC},
      year = {2017},
      pages = {55-64},
      url = {./publications/cLABKCC17.pdf}
    }
    

25. Y. Zacchia Lun, A. D'Innocenzo, A. Abate and M. D. Di Benedetto, “Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems,” in Proceedings of CDC, pp. 6525-6530, 2017.
    [bibtex] [url]

    @inproceedings{cZDAD17,
      author = {Y. Zacchia Lun and A. D'Innocenzo and A. Abate and M.D. Di Benedetto},
      title = {Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems},
      booktitle = {Proceedings of CDC},
      year = {2017},
      pages = {6525-6530},
      url = {./publications/cZDAD17.pdf}
    }
    

26. S. Haesaert, P. M. J. V.d. Hof and A. Abate, “Experiment Design for Formal Verification via Stochastic Optimal Control,” in Proceedings of ECC, pp. 427-432, 2016.
    [bibtex] [url]

    @inproceedings{cHVA16,
      author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
      title = {Experiment Design for Formal Verification via Stochastic Optimal Control},
      booktitle = {Proceedings of ECC},
      year = {2016},
      pages = {427-432},
      url = {./publications/cHVA16.pdf}
    }
    

27. O. Holub, M. Zamani and A. Abate, “Synthesis of formal controllers for HVAC systems,” in Proceedings of ECC, pp. 1159-1164, 2016.
    [bibtex] [url]

    @inproceedings{cHZA16,
      author = {O. Holub and M. Zamani and A. Abate},
      title = {Synthesis of formal controllers for HVAC systems},
      booktitle = {Proceedings of ECC},
      year = {2016},
      pages = {1159-1164},
      url = {./publications/cHZA16.pdf}
    }
    

28. K. Lesser and A. Abate, “Safety Verification of Output Feedback Controllers for Nonlinear Systems,” in Proceedings of ECC, pp. 413-418, 2016.
    [bibtex] [url]

    @inproceedings{cLA16,
      author = {K. Lesser and A. Abate},
      title = {Safety Verification of Output Feedback Controllers for Nonlinear Systems},
      booktitle = {Proceedings of ECC},
      year = {2016},
      pages = {413-418},
      url = {./publications/cLA16.pdf}
    }
    

29. S. Pathak, S. Soudjani, V. Indelman and A. Abate, “Formal and Data Association Aware Robust Belief Space Planning,” in Proceedings of Frontiers in Artificial Intelligence and Applications, pp. 87-98, 2016.
    [bibtex] [url]

    @inproceedings{cPSIA16,
      author = {S. Pathak and S. Soudjani and V. Indelman and A. Abate},
      title = {Formal and Data Association Aware Robust Belief Space Planning},
      booktitle = {Proceedings of Frontiers in Artificial Intelligence and Applications},
      year = {2016},
      pages = {87-98},
      url = {./publications/cPSIA16.pdf}
    }
    

30. M. Balandat, I. Tkachev, A. Abate and C. J. Tomlin, “A mean-field equilibrium for a model of interbank lending,” in Proceedings of the 2015 American Control Conference, pp. 1752-1757, Chicago, IL, Jul 2015.
    [bibtex] [url]

    @inproceedings{cBTAT15,
      author = {M. Balandat and I. Tkachev and A. Abate and C.J. Tomlin},
      title = {A mean-field equilibrium for a model of interbank lending},
      booktitle = {Proceedings of the 2015 American Control Conference},
      address = {Chicago, IL},
      year = {2015},
      pages = {1752-1757},
      url = {./publications/cBTAT15.pdf}
    }
    

31. S. Haesaert, P. Van den Hof and A. Abate, “Data-driven Property Verification of Grey-box Systems by Bayesian Experiment Design,” in Proceedings of the 2015 American Control Conference, pp. 1800-1805, Chicago, IL, Jul 2015.
    [bibtex] [url]

    @inproceedings{cHHA15,
      author = {S. Haesaert and P. Van den Hof and A. Abate},
      title = {Data-driven Property Verification of Grey-box Systems by Bayesian Experiment Design},
      booktitle = {Proceedings of the 2015 American Control Conference},
      address = {Chicago, IL},
      year = {2015},
      pages = {1800-1805},
      url = {./publications/cHHA15.pdf}
    }
    

32. S. Haesaert, P. M. J. V.d. Hof and A. Abate, “Data-driven and Model-based Verification: a Bayesian Identification Approach,” in Proceedings of CDC, pp. 6830-6835, 2015.
    [bibtex] [url]

    @inproceedings{cHVA15,
      author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
      title = {Data-driven and Model-based Verification: a Bayesian Identification Approach},
      booktitle = {Proceedings of CDC},
      year = {2015},
      pages = {6830-6835},
      url = {./publications/cHVA15.pdf}
    }
    

33. S. Haesaert, P. M. J. V.d. Hof and A. Abate, “Correct-by-design output feedback of LTI systems,” in Proceedings of CDC, pp. 6159-6164, 2015.
    [bibtex] [url]

    @inproceedings{cHVA15b,
      author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
      title = {Correct-by-design output feedback of LTI systems},
      booktitle = {Proceedings of CDC},
      year = {2015},
      pages = {6159-6164},
      url = {./publications/cHVA15b.pdf}
    }
    

34. K. Lesser and A. Abate, “Safety Verification and Controller Synthesis using Observers,” in Proceedings of ADHS, pp. 1-382, 2015.
    [bibtex] [url]

    @inproceedings{cLA15,
      author = {K. Lesser and A. Abate},
      title = {Safety Verification and Controller Synthesis using Observers},
      booktitle = {Proceedings of ADHS},
      year = {2015},
      pages = {1-382},
      url = {./publications/cLA15.pdf}
    }
    

35. D. Adzkiya, B. De Schutter and A. Abate, “Backward Reachability of Autonomous Max-Plus-Linear Systems,” in Proceedings of the 12th IFAC-IEEE International Workshop on Discrete Event Systems, pp. 117-122, Paris (FR), Apr 2014.
    [bibtex] [url]

    @inproceedings{cDDSA14,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Backward Reachability of Autonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of the 12th IFAC-IEEE International Workshop on Discrete Event Systems},
      address = {Paris (FR)},
      year = {2014},
      pages = {117--122},
      url = {./publications/cDDSA14.pdf}
    }
    

36. I. Tkachev and A. Abate, “On approximation metrics for linear temporal model-checking of stochastic systems,” in Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control, pp. 193-203, Berlin (DE), Apr 2014.
    [bibtex] [url]

    @inproceedings{cTA14,
      author = {I. Tkachev and A. Abate},
      title = {On approximation metrics for linear temporal model-checking of stochastic systems},
      booktitle = {Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control},
      address = {Berlin (DE)},
      year = {2014},
      pages = {193--203},
      url = {./publications/cTA14.pdf}
    }
    

37. M. Zamani and A. Abate, “Symbolic Models for Randomly Switched Stochastic Systems,” in Proceedings of the 2014 American Control Conference, pp. 2291-2296, Portland, OR, Jun 2014.
    [bibtex] [url]

    @inproceedings{cZA14,
      author = {M. Zamani and A. Abate},
      title = {Symbolic Models for Randomly Switched Stochastic Systems},
      booktitle = {Proceedings of the 2014 American Control Conference},
      address = {Portland, OR},
      year = {2014},
      pages = {2291--2296},
      url = {./publications/cZA14.pdf}
    }
    

38. M. Zamani, M. Mazo and A. Abate, “Finite Abstractions of Networked Control Systems,” in Proceedings of the 53rd IEEE Conference on Decision and Control, pp. 95-100, Los Angeles, CA, Dec 2014.
    [bibtex] [url]

    @inproceedings{cZMA14,
      author = {M. Zamani and M. Mazo and A. Abate},
      title = {Finite Abstractions of Networked Control Systems},
      booktitle = {Proceedings of the 53rd IEEE Conference on Decision and Control},
      address = {Los Angeles, CA},
      year = {2014},
      pages = {95--100},
      url = {./publications/cZMA14.pdf}
    }
    

39. M. Zamani, I. Tkachev and A. Abate, “Bisimilar symbolic models for stochastic control systems without state-space discretization,” in Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control, pp. 41-51, Berlin (DE), Apr 2014.
    [bibtex] [url]

    @inproceedings{cZTA14,
      author = {M. Zamani and I. Tkachev and A. Abate},
      title = {Bisimilar symbolic models for stochastic control systems without state-space discretization},
      booktitle = {Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control},
      address = {Berlin (DE)},
      year = {2014},
      pages = {41--51},
      url = {./publications/cZTA14.pdf}
    }
    

40. D. Adzkiya, B. De Schutter and A. Abate, “Finite Abstractions of Nonautonomous Max-Plus-Linear Systems,” in Proceedings of the 2013 American Control Conference, pp. 4387-4392, Washington, DC, Jun 2013.
    [bibtex] [url]

    @inproceedings{cADSA13,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Finite Abstractions of Nonautonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of the 2013 American Control Conference},
      address = {Washington, DC},
      year = {2013},
      pages = {4387--4392},
      url = {./publications/cADSA13.pdf}
    }
    

41. J. Ding, A. Abate and C. Tomlin, “Optimal Control of Partially Observable Discrete Time Stochastic Hybrid Systems for Safety Specifications,” in Proceedings of the 2013 American Control Conference, pp. 6231-6236, Washington, DC, Jun 2013.
    [bibtex] [url]

    @inproceedings{cDAT13,
      author = {J. Ding and A. Abate and C. Tomlin},
      title = {Optimal Control of Partially Observable Discrete Time Stochastic Hybrid Systems for Safety Specifications},
      booktitle = {Proceedings of the 2013 American Control Conference},
      address = {Washington, DC},
      year = {2013},
      pages = {6231--6236},
      url = {./publications/cDAT13.pdf}
    }
    

42. M. Kamgarpour, C. Ellen, S. Esmaeil Zadeh Soudjani, S. Gerwinn, J. L. Mathieu, N. Müllner, A. Abate, D. S. Callaway, M. Fränzle and J. Lygeros, “Modeling Options for Demand Side Participation of Thermostatically Controlled Loads,” in IREP, pp. 1-15, Berlin (DE), Aug 2013.
    [bibtex] [url]

    @inproceedings{cKESGMMACFL13,
      author = {M. Kamgarpour and C. Ellen and S. Esmaeil Zadeh Soudjani and S. Gerwinn and J.L. Mathieu and N. Müllner and A. Abate and D.S. Callaway and M. Fränzle and J. Lygeros},
      title = {Modeling Options for Demand Side Participation of Thermostatically Controlled Loads},
      booktitle = {IREP},
      address = {Berlin (DE)},
      year = {2013},
      pages = {1--15},
      url = {./publications/cKESGMMACFL13.pdf}
    }
    

43. S. Esmaeil Zadeh Soudjani and A. Abate, “Aggregation of Thermostatically Controlled Loads by Formal Abstractions,” in Proceedings of the 2013 European Control Conference, pp. 4232-4237, Zürich (CH), Jul 2013.
    [bibtex] [url]

    @inproceedings{cSA13,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Aggregation of Thermostatically Controlled Loads by Formal Abstractions},
      booktitle = {Proceedings of the 2013 European Control Conference},
      address = {Zürich (CH)},
      year = {2013},
      pages = {4232-4237},
      url = {./publications/cSA13.pdf}
    }
    

44. I. Tkachev and A. Abate, “Formula-free finite abstractions for linear temporal verification of Stochastic Hybrid Systems,” in Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control, pp. pp. 283-292, Boston, MA, Apr 2013.
    [bibtex] [url]

    @inproceedings{cTA13,
      author = {I. Tkachev and A. Abate},
      title = {Formula-free finite abstractions for linear temporal verification of Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control},
      address = {Boston, MA},
      year = {2013},
      pages = {pp. 283--292},
      url = {./publications/cTA13.pdf}
    }
    

45. I. Tkachev and A. Abate, “A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem,” in Proceedings of the 52nd IEEE Conference on Decision and Control, pp. 3211-3216, Florence (IT), Dec 2013.
    [bibtex] [url]

    @inproceedings{cTA13b,
      author = {I. Tkachev and A. Abate},
      title = {A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem},
      booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control},
      address = {Florence (IT)},
      year = {2013},
      pages = {3211--3216},
      url = {./publications/cTA13b.pdf}
    }
    

46. I. Tkachev, A. Mereacre, J.-P. Katoen and A. Abate, “Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems,” in Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control, pp. 293-302, Boston, MA, Apr 2013.
    [bibtex] [url]

    @inproceedings{cTMKA13,
      author = {I. Tkachev and A. Mereacre and J.-P. Katoen and A. Abate},
      title = {Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control},
      address = {Boston, MA},
      year = {2013},
      pages = {293--302},
      url = {./publications/cTMKA13.pdf}
    }
    

47. M. Zamani, P. Mohajerin Esfahani, A. Abate and J. Lygeros, “Symbolic models for stochastic control systems without stability assumptions,” in Proceedings of the 2013 European Control Conference, pp. 4257-4262, Zürich (CH), Jul 2013.
    [bibtex] [url]

    @inproceedings{cZMEAL13,
      author = {M. Zamani and P. Mohajerin Esfahani and A. Abate and J. Lygeros},
      title = {Symbolic models for stochastic control systems without stability assumptions},
      booktitle = {Proceedings of the 2013 European Control Conference},
      address = {Zürich (CH)},
      year = {2013},
      pages = {4257-4262},
      url = {./publications/cZMEAL13.pdf}
    }
    

48. M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate and J. Lygeros, “Bisimilar finite abstractions for stochastic control systems,” in Proceedings of the 52nd IEEE Conference on Decision and Control, pp. 3926-3931, Florence (IT), Dec 2013.
    [bibtex] [url]

    @inproceedings{cZMEMAL13,
      author = {M. Zamani and P. Mohajerin Esfahani and R. Majumdar and A. Abate and J. Lygeros},
      title = {Bisimilar finite abstractions for stochastic control systems},
      booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control},
      address = {Florence (IT)},
      year = {2013},
      pages = {3926-3931},
      url = {./publications/cZMEMAL13.pdf}
    }
    

49. D. Adzkiya, B. De Schutter and A. Abate, “Abstraction and Verification of Autonomous Max-Plus-Linear Systems,” in Proceedings of the 2012 American Control Conference, pp. 721-726, Montreal (CA), Jun 2012.
    [bibtex] [url]

    @inproceedings{cADSA12,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Abstraction and Verification of Autonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of the 2012 American Control Conference},
      address = {Montreal (CA)},
      year = {2012},
      pages = {721--726},
      url = {./publications/cADSA12.pdf}
    }
    

50. A. D'Innocenzo, A. Abate and J.-P. Katoen, “Robust PCTL Model Checking,” in Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control, pp. 275-285, Beijing (PRC), Apr 2012.
    [bibtex] [url]

    @inproceedings{cDAK12,
      author = {A. D'Innocenzo and A. Abate and J.-P. Katoen},
      title = {Robust PCTL Model Checking},
      booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control},
      address = {Beijing (PRC)},
      year = {2012},
      pages = {275--285},
      url = {./publications/cDAK12.pdf}
    }
    

51. S. Esmaeil Zadeh Soudjani and A. Abate, “Probabilistic Invariance of Mixed Deterministic-Stochastic Dynamical Systems,” in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, pp. 207-216, Beijing (PRC), Apr 2012.
    [bibtex] [url]

    @inproceedings{cSA12,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Probabilistic Invariance of Mixed Deterministic-Stochastic Dynamical Systems},
      booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control},
      address = {Beijing (PRC)},
      year = {2012},
      pages = {207--216},
      url = {./publications/cSA12.pdf}
    }
    

52. M. Stv relec, K. Macek and A. Abate, “Modeling and Simulation of a Microgrid as a Stochastic Hybrid System,” in Proceedings of the IEEE PES Innovative Smart Grid Technologies (ISGT 12), pp. 1-9, Berlin (DE), Sep 2012.
    [bibtex] [url]

    @inproceedings{cSMA12,
      author = {M. Stv relec and K. Macek and A. Abate},
      title = {Modeling and Simulation of a Microgrid as a Stochastic Hybrid System},
      booktitle = {Proceedings of the IEEE PES Innovative Smart Grid Technologies (ISGT 12)},
      address = {Berlin (DE)},
      year = {2012},
      pages = {1--9},
      url = {./publications/cSMA12.pdf}
    }
    

53. I. Tkachev and A. Abate, “Regularization of Bellman equations for infinite-horizon probabilistic properties,” in Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control, pp. 227-236, Beijing (PRC), Apr 2012.
    [bibtex] [url]

    @inproceedings{cTA12,
      author = {I. Tkachev and A. Abate},
      title = {Regularization of Bellman equations for infinite-horizon probabilistic properties},
      booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control},
      address = {Beijing (PRC)},
      year = {2012},
      pages = {227--236},
      url = {./publications/cTA12.pdf}
    }
    

54. I. Tkachev and A. Abate, “Stability and attractivity of absorbing sets for discrete-time Markov processes,” in Proceedings of the 51st IEEE Conference on Decision and Control, pp. 7652-7657, Maui, HW, Dec 2012.
    [bibtex] [url]

    @inproceedings{cTA12b,
      author = {I. Tkachev and A. Abate},
      title = {Stability and attractivity of absorbing sets for discrete-time Markov processes},
      booktitle = {Proceedings of the 51st IEEE Conference on Decision and Control},
      address = {Maui, HW},
      year = {2012},
      pages = {7652--7657},
      url = {./publications/cTA12b.pdf}
    }
    

55. A. Abate, J. P. Katoen, J. Lygeros and M. Prandini, “A Two-Step Scheme for Approximate Model Checking of Stochastic Hybrid Systems,” in Proceedings of the 18th IFAC World Congress, pp. 4519-4524, Milan (IT), Aug 2011.
    [bibtex] [url]

    @inproceedings{cAKLP11,
      author = {A. Abate and J.P. Katoen and J. Lygeros and M. Prandini},
      title = {A Two-Step Scheme for Approximate Model Checking of Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 18th IFAC World Congress},
      address = {Milan (IT)},
      year = {2011},
      pages = {4519--4524},
      url = {./publications/cAKLP11.pdf}
    }
    

56. A. Abate, J.-P. Katoen and A. Mereacre, “Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems,” in Proceedings of the 14th ACM international conference on Hybrid Systems: computation and control, pp. 83-92, Chicago, IL, Apr 2011.
    [bibtex] [url]

    @inproceedings{cAKM11,
      author = {A. Abate and J.-P. Katoen and A. Mereacre},
      title = {Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 14th ACM international conference on Hybrid Systems: computation and control},
      address = {Chicago, IL},
      year = {2011},
      pages = {83--92},
      url = {./publications/cAKM11.pdf}
    }
    

57. A. Abate and M. Prandini, “Approximate abstractions of stochastic systems: a randomized method,” in Proceedings of the 50th IEEE Conference on Decision and Control and 2011 European Control Conference, pp. 4861-4866, Orlando, FL, Dec 2011.
    [bibtex] [url]

    @inproceedings{cAP11,
      author = {A. Abate and M. Prandini},
      title = {Approximate abstractions of stochastic systems: a randomized method},
      booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and 2011 European Control Conference},
      address = {Orlando, FL},
      year = {2011},
      pages = {4861--4866},
      url = {./publications/cAP11.pdf}
    }
    

58. M. Kamgarpour, J. Ding, S. Summers, A. Abate, J. Lygeros and C. J. Tomlin, “Discrete Time Stochastic Hybrid Dynamic Games: Verification and Controller Synthesys,” in Proceedings of the 50th IEEE Conference on Decision and Control and 2011 European Control Conference, pp. 6122-6127, Orlando, FL, Dec 2011.
    [bibtex] [url]

    @inproceedings{cKDSALT11,
      author = {M. Kamgarpour and J. Ding and S. Summers and A. Abate and J. Lygeros and C.J. Tomlin},
      title = {Discrete Time Stochastic Hybrid Dynamic Games: Verification and Controller Synthesys},
      booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and 2011 European Control Conference},
      address = {Orlando, FL},
      year = {2011},
      pages = {6122--6127},
      url = {./publications/cKDSALT11.pdf}
    }
    

59. C. Rinaldi, A. D'Innocenzo, A. Abate, M. D. Di Benedetto and F. Santucci, “A Framework for Modeling and Computation in Wireless Embedded Control Systems,” in Proceedings of AICA, L'Aquila (IT), Aug 2011.
    [bibtex]

    @inproceedings{cRIABS11,
      author = {C. Rinaldi and A. D'Innocenzo and A. Abate and M.D. Di Benedetto and F. Santucci},
      title = {A Framework for Modeling and Computation in Wireless Embedded Control Systems},
      booktitle = {Proceedings of AICA},
      address = {L'Aquila (IT)},
      year = {2011}
    }
    

60. S. Esmaeil Zadeh Soudjani and A. Abate, “Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems,” in Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, pp. 59-69, Aachen (DE), Sept 2011.
    [bibtex] [url]

    @inproceedings{cSA11,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems},
      address = {Aachen (DE)},
      year = {2011},
      pages = {59--69},
      url = {./publications/cSA11.pdf}
    }
    

61. I. Tkachev and A. Abate, “On infinite-horizon probabilistic properties and stochastic bisimulation functions,” in Proceedings of the 50th IEEE Conference on Decision and Control and 2011 European Control Conference, pp. 526-531, Orlando, FL, Dec 2011.
    [bibtex] [url]

    @inproceedings{cTA11,
      author = {I. Tkachev and A. Abate},
      title = {On infinite-horizon probabilistic properties and stochastic bisimulation functions},
      booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and 2011 European Control Conference},
      address = {Orlando, FL},
      year = {2011},
      pages = {526--531},
      url = {./publications/cTA11.pdf}
    }
    

62. A. Abate, “Probabilistic Bisimulations of Switching and Resetting Diffusions,” in Proceedings of the 49th IEEE Conference of Decision and Control, pp. 5918-5923, Atlanta, GA, Dec 2010.
    [bibtex] [url]

    @inproceedings{cA10,
      author = {A. Abate},
      title = {Probabilistic Bisimulations of Switching and Resetting Diffusions},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      address = {Atlanta, GA},
      year = {2010},
      pages = {5918--5923},
      url = {./publications/cA10.pdf}
    }
    

63. M. Balandat, W. Zhang and A. Abate, “On the Infinite Horizon Constrained Switched LQR Problem,” in Proceedings of the 49th IEEE Conference of Decision and Control, pp. 2131-2136, Atlanta, GA, Dec 2010.
    [bibtex] [url]

    @inproceedings{cBZA10,
      author = {M. Balandat and W. Zhang and A. Abate},
      title = {On the Infinite Horizon Constrained Switched LQR Problem},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      address = {Atlanta, GA},
      year = {2010},
      pages = {2131--2136},
      url = {./publications/cBZA10.pdf}
    }
    

64. M. P. Vitus, W. Zhang, A. Abate, J. Hu and C. J. Tomlin, “On Efficient Sensor Scheduling for Linear Dynamical Systems,” in Proceedings of the 2010 American Control Conference, pp. 4833-4838, Baltimore, MD, Jun 2010.
    [bibtex] [url]

    @inproceedings{cVZAHT10,
      author = {M.P. Vitus and W. Zhang and A. Abate and J. Hu and C.J. Tomlin},
      title = {On Efficient Sensor Scheduling for Linear Dynamical Systems},
      booktitle = {Proceedings of the 2010 American Control Conference},
      address = {Baltimore, MD},
      year = {2010},
      pages = {4833--4838},
      url = {./publications/cVZAHT10.pdf}
    }
    

65. M. P. Vitus W. Zhang, A. Abate, J. Hu and C. J. Tomlin, “On Sensor Scheduling of Linear Dynamical Systems with Error Bounds,” in Proceedings of the 49th IEEE Conference of Decision and Control, pp. 1318-1323, Atlanta, GA, Dec 2010.
    [bibtex] [url]

    @inproceedings{cVZAHT10b,
      author = {M.P. Vitus W. Zhang and and A. Abate and J. Hu and C.J. Tomlin},
      title = {On Sensor Scheduling of Linear Dynamical Systems with Error Bounds},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      address = {Atlanta, GA},
      year = {2010},
      pages = {1318--1323},
      url = {./publications/cVZAHT10b.pdf}
    }
    

66. W. Zhang, M. P. Vitus, J. Hu, A. Abate and C. J. Tomlin, “On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem,” in Proceedings of the 49th IEEE Conference of Decision and Control, pp. 396-401, Atlanta, GA, Dec 2010.
    [bibtex] [url]

    @inproceedings{cZVHAT10,
      author = {W. Zhang and M.P. Vitus and J. Hu and A. Abate and C.J. Tomlin},
      title = {On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      address = {Atlanta, GA},
      year = {2010},
      pages = {396--401},
      url = {./publications/cZVHAT10.pdf}
    }
    

67. A. Abate, “A Contractivity Approach for Probabilistic Bisimulations of Diffusion Processes,” in Proceedings of the 48th IEEE Conference of Decision and Control, pp. 2230-2235, Shanghai (PRC), Dec 2009.
    [bibtex] [url]

    @inproceedings{cA09,
      author = {A. Abate},
      title = {A Contractivity Approach for Probabilistic Bisimulations of Diffusion Processes},
      booktitle = {Proceedings of the 48th IEEE Conference of Decision and Control},
      address = {Shanghai (PRC)},
      year = {2009},
      pages = {2230--2235},
      url = {./publications/cA09.pdf}
    }
    

68. A. Silletti, A. Cenedese and A. Abate, “The emergent structure of the Drosophila wing: a dynamic model generator,” in Proceedings of the International Conference on Computer Vision, Theory and Applications (VISAPP 09), pp. 406-410, Lisboa (PT), Feb 2009.
    [bibtex] [url]

    @inproceedings{cSCA09,
      author = {A. Silletti and A. Cenedese and A. Abate},
      title = {The emergent structure of the Drosophila wing: a dynamic model generator},
      booktitle = {Proceedings of the International Conference on Computer Vision, Theory and Applications (VISAPP 09)},
      address = {Lisboa (PT)},
      year = {2009},
      pages = {406--410},
      url = {./publications/cSCA09.pdf}
    }
    

69. W. Zhang, A. Abate and J. Hu, “Efficient Suboptimal Solutions of Stitched LQR Problems,” in Proceedings of the 2009 American Control Conference, pp. 1084-1091, St. Louis, MO, Jun 2009.
    [bibtex] [url]

    @inproceedings{cZAH09,
      author = {W. Zhang and A. Abate and J. Hu},
      title = {Efficient Suboptimal Solutions of Stitched LQR Problems},
      booktitle = {Proceedings of the 2009 American Control Conference},
      address = {St. Louis, MO},
      year = {2009},
      pages = {1084--1091},
      url = {./publications/cZAH09.pdf}
    }
    

70. W. Zhang, A. Abate, M. P. Vitus and J. Hu, “On Piecewise Quadratic Control-Lyapunov Functions for Switched Linear Systems,” in Proceedings of the 48th IEEE Conference of Decision and Control, pp. 1088-1093, Shanghaij (PRC), Dec 2009.
    [bibtex] [url]

    @inproceedings{cZAVH09,
      author = {W. Zhang and A. Abate and M.P. Vitus and J. Hu},
      title = {On Piecewise Quadratic Control-Lyapunov Functions for Switched Linear Systems},
      booktitle = {Proceedings of the 48th IEEE Conference of Decision and Control},
      address = {Shanghaij (PRC)},
      year = {2009},
      pages = {1088--1093},
      url = {./publications/cZAVH09.pdf}
    }
    

71. A. Abate, M. Prandini, J. Lygeros and S. Sastry, “An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems,” in Proceedings of the 47th IEEE Conference of Decision and Control, pp. 4018-4023, Cancun (MX), Dec 2008.
    [bibtex] [url]

    @inproceedings{cAPLS08,
      author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
      title = {An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems},
      booktitle = {Proceedings of the 47th IEEE Conference of Decision and Control},
      address = {Cancun (MX)},
      year = {2008},
      pages = {4018--4023},
      url = {./publications/cAPLS08.pdf}
    }
    

72. A. D'Innocenzo, A. Abate, M. D. Di Benedetto and S. Sastry, “Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems,” in Proceedings of the 47th IEEE Conference of Decision and Control, pp. 221-226, Cancun (MX), Dec 2008.
    [bibtex] [url]

    @inproceedings{cIABS08,
      author = {A. D'Innocenzo and A. Abate and M.D. Di Benedetto and S. Sastry},
      title = {Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 47th IEEE Conference of Decision and Control},
      address = {Cancun (MX)},
      year = {2008},
      pages = {221--226},
      url = {./publications/cIABS08.pdf}
    }
    

73. A. D. Ames, A. Abate and S. Sastry, “Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations,” in Proceedings of the 46th IEEE Conference on Decision and Control, pp. 4033-4038, New Orleans, LA, Dec 2007.
    [bibtex] [url]

    @inproceedings{cAAS07,
      author = {A. D. Ames and A. Abate and S. Sastry},
      title = {Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations},
      booktitle = {Proceedings of the 46th IEEE Conference on Decision and Control},
      address = {New Orleans, LA},
      year = {2007},
      pages = {4033--4038},
      url = {./publications/cAAS07.pdf}
    }
    

74. A. Abate, Y. Bai, N. Sznajder, C. Talcott and A. Tiwari, “Quantitative and Probabilistic Modeling in Pathway Logic,” in Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering (BIBE07), pp. 922-929, Boston, MA, Oct 2007.
    [bibtex] [url]

    @inproceedings{cABSTT07,
      author = {A. Abate and Y. Bai and N. Sznajder and C. Talcott and A. Tiwari},
      title = {Quantitative and Probabilistic Modeling in Pathway Logic},
      booktitle = {Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering (BIBE07)},
      address = {Boston, MA},
      year = {2007},
      pages = {922--929},
      url = {./publications/cABSTT07.pdf}
    }
    

75. A. Abate, J. Lygeros and S. Sastry, “Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis,” in Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering (FOSBE07), pp. 527-532, Stuttgart (DE), Sep 2007.
    [bibtex] [url]

    @inproceedings{cALS07,
      author = {A. Abate and J. Lygeros and S. Sastry},
      title = {Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis},
      booktitle = {Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering (FOSBE07)},
      address = {Stuttgart (DE)},
      year = {2007},
      pages = {527--532},
      url = {./publications/cALS07.pdf}
    }
    

76. A. Abate, A. Tiwari and S. Sastry, “The concept of Box Invariance for biologically-inspired dynamical systems,” in Proceedings of the 46th IEEE Conference on Decision and Control, pp. 5162-5167, New Orleans, LA, Dec 2007.
    [bibtex] [url]

    @inproceedings{cATS07,
      author = {A. Abate and A. Tiwari and S. Sastry},
      title = {The concept of Box Invariance for biologically-inspired dynamical systems},
      booktitle = {Proceedings of the 46th IEEE Conference on Decision and Control},
      address = {New Orleans, LA},
      year = {2007},
      pages = {5162-5167},
      url = {./publications/cATS07.pdf}
    }
    

77. A. Abate, S. Amin, M. Prandini, J. Lygeros and S. Sastry, “Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems,” in Proceedings of the 45th IEEE Conference of Decision and Control, pp. 258-263, San Diego, CA, Dec 2006.
    [bibtex] [url]

    @inproceedings{cAAPLS06,
      author = {A. Abate and S. Amin and M. Prandini and J. Lygeros and S. Sastry},
      title = {Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems},
      booktitle = {Proceedings of the 45th IEEE Conference of Decision and Control},
      address = {San Diego, CA},
      year = {2006},
      pages = {258--263},
      url = {./publications/cAAPLS06.pdf}
    }
    

78. A. Abate, A. Ames and S. Sastry, “Error bounds based stochastic approximations and simulations of hybrid dynamical systems,” in Proceedings of the 2006 American Control Conference, pp. 4742-4747, Minneapolis, MN, Jun 2006.
    [bibtex] [url]

    @inproceedings{cAAS06,
      author = {A. Abate and A. Ames and S. Sastry},
      title = {Error bounds based stochastic approximations and simulations of hybrid dynamical systems},
      booktitle = {Proceedings of the 2006 American Control Conference},
      address = {Minneapolis, MN},
      year = {2006},
      pages = {4742--4747},
      url = {./publications/cAAS06.pdf}
    }
    

79. A. Abate, A. Ames and S. Sastry, “A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems,” in Proceedings of the 2006 American Control Conference, pp. 1564-1569, Minneapolis, MN, Jun 2006.
    [bibtex] [url]

    @inproceedings{cAAS06b,
      author = {A. Abate and A. Ames and S. Sastry},
      title = {A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems},
      booktitle = {Proceedings of the 2006 American Control Conference},
      address = {Minneapolis, MN},
      year = {2006},
      pages = {1564--1569},
      url = {./publications/cAAS06b.pdf}
    }
    

80. A. Abate, M. Chen and S. Sastry, “Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks,” in Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, pp. 701-708, Kyoto (JP), Jul 2006.
    [bibtex] [url]

    @inproceedings{cACS06,
      author = {A. Abate and M. Chen and S. Sastry},
      title = {Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks},
      booktitle = {Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems},
      address = {Kyoto (JP)},
      year = {2006},
      pages = {701--708},
      url = {./publications/cACS06.pdf}
    }
    

81. A. Abate and A. Tiwari, “Box Invariance of hybrid and switched systems,” in Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, pp. 359-364, Alghero (IT), Jun 2006.
    [bibtex] [url]

    @inproceedings{cAT06,
      author = {A. Abate and A. Tiwari},
      title = {Box Invariance of hybrid and switched systems},
      booktitle = {Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems},
      address = {Alghero (IT)},
      year = {2006},
      pages = {359--364},
      url = {./publications/cAT06.pdf}
    }
    

82. A. Abate, A. Ames and S. Sastry, “Stochastic Approximations of Hybrid Systems,” in Proceedings of the 2005 American Control Conference, pp. 1557-1562, Portland, OR, Jun 2005.
    [bibtex] [url]

    @inproceedings{cAAS05,
      author = {A. Abate and A. Ames and S. Sastry},
      title = {Stochastic Approximations of Hybrid Systems},
      booktitle = {Proceedings of the 2005 American Control Conference},
      address = {Portland, OR},
      year = {2005},
      pages = {1557--1562},
      url = {./publications/cAAS05.pdf}
    }
    

83. A. D. Ames, A. Abate and S. Sastry, “Sufficient Conditions for the Existence of Zeno Behavior,” in Proceedings of the 44th IEEE Conference on Decision and Control and 2005 European Control Conference, pp. 696-701, Seville (SP), Dec 2005.
    [bibtex] [url]

    @inproceedings{cAAS05b,
      author = {A. D. Ames and A. Abate and S. Sastry},
      title = {Sufficient Conditions for the Existence of Zeno Behavior},
      booktitle = {Proceedings of the 44th IEEE Conference on Decision and Control and 2005 European Control Conference},
      address = {Seville (SP)},
      year = {2005},
      pages = {696--701},
      url = {./publications/cAAS05b.pdf}
    }
    

84. A. Abate, M. Chen and S. Sastry, “New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations,” in Proceedings of the 16th IFAC World Congress, Prague (CZ), Jul 2005.
    [bibtex] [url]

    @inproceedings{cACS05,
      author = {A. Abate and M. Chen and S. Sastry},
      title = {New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations},
      booktitle = {Proceedings of the 16th IFAC World Congress},
      address = {Prague (CZ)},
      year = {2005},
      url = {./publications/cACS05.pdf}
    }
    

85. M. Chen, A. Abate and S. Sastry, “New Congestion Control Schemes over Wireless Networks: Stability Analysis,” in Proceedings of the 16th IFAC World Congress, Prague (CZ), Jul 2005.
    [bibtex] [url]

    @inproceedings{cCAS05,
      author = {M. Chen and A. Abate and S. Sastry},
      title = {New Congestion Control Schemes over Wireless Networks: Stability Analysis},
      booktitle = {Proceedings of the 16th IFAC World Congress},
      address = {Prague (CZ)},
      year = {2005},
      url = {./publications/cCAS05.pdf}
    }
    

86. A. Abate and L. El Ghaoui, “Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning,” in Proceedings of the 43rd IEEE Conference on Decision and Control, pp. 2485-2490, Paradise Island (Bahamas), Dec 2004.
    [bibtex] [url]

    @inproceedings{cAE04,
      author = {A. Abate and L. El Ghaoui},
      title = {Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning},
      booktitle = {Proceedings of the 43rd IEEE Conference on Decision and Control},
      address = {Paradise Island (Bahamas)},
      year = {2004},
      pages = {2485--2490},
      url = {./publications/cAE04.pdf}
    }
    

87. A. Abate, L. Shi, S. Simic and S. Sastry, “A Stability Criterion for Stochastic Hybrid Systems,” in Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems, Leuwen (BG), Jul 2004.
    [bibtex] [url]

    @inproceedings{cASSS04,
      author = {A. Abate and L. Shi and S. Simic and S. Sastry},
      title = {A Stability Criterion for Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems},
      address = {Leuwen (BG)},
      year = {2004},
      url = {./publications/cASSS04.pdf}
    }
    

88. L. Shi, A. Abate and S. Sastry, “Optimal Control for a class of Stochastic Hybrid Systems,” in Proceedings of the 43rd IEEE Conference on Decision and Control, pp. 1842-1847, Paradise Island (Bahamas), Dec 2004.
    [bibtex] [url]

    @inproceedings{cSAS04,
      author = {L. Shi and A. Abate and S. Sastry},
      title = {Optimal Control for a class of Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 43rd IEEE Conference on Decision and Control},
      address = {Paradise Island (Bahamas)},
      year = {2004},
      pages = {1842--1847},
      url = {./publications/cSAS04.pdf}
    }
    

Selected Technical Reports

1. Mohammadhosein Hasanbeig, Alessandro Abate and Daniel Kroening, “Certified Reinforcement Learning with Logic Guidance,” 2020.
   [bibtex] [url]

   @misc{hasanbeig2020certified,
     author = {Mohammadhosein Hasanbeig and Alessandro Abate and Daniel Kroening},
     title = {Certified Reinforcement Learning with Logic Guidance},
     year = {2020},
     url = {https://arxiv.org/pdf/1902.00778.pdf},
     archivePrefix  = {arXiv},
     eprint = {1902.00778},
     primaryClass = {cs.LG}
   }
   

2. Thomas J. Ringstrom, Mohammadhosein Hasanbeig and Alessandro Abate, “Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer,” 2020.
   [bibtex] [url]

   @misc{ringstrom2020jump,
     author = {Thomas J. Ringstrom and Mohammadhosein Hasanbeig and Alessandro Abate},
     title = {Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer},
     year = {2020},
     url = {https://arxiv.org/pdf/2007.02527.pdf},
     archivePrefix  = {arXiv},
     eprint = {2007.02527},
     primaryClass = {cs.AI}
   }
   

3. Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'Ul Mufid, Rajarshi Ray, Yuming Wu and Enea Zaffanella, “ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking,” in 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), vol. 74, pp. 1-15, 2020.
   [bibtex] [url]

   @inproceedings{ARCH20:ARCH_COMP20_Category_Report_Hybrid,
     author = {Lei Bu and Alessandro Abate and Dieky Adzkiya and Muhammad Syifa'Ul Mufid and Rajarshi Ray and Yuming Wu and Enea Zaffanella},
     title = {ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking},
     booktitle = {7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
     year = {2020},
     volume = {74},
     pages = {1--15},
     url = {https://easychair.org/publications/paper/9xtZ}
   }
   

4. Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham Vinod, Ben Wooding, Majid Zamani and Paolo Zuliani, “ARCH-COMP20 Category Report: Stochastic Models,” in 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), vol. 74, pp. 76-106, 2020.
   [bibtex] [url]

   @inproceedings{ARCH20:ARCH_COMP20_Category_Report_Stochastic,
     author = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Joanna Delicaris and Arnd Hartmanns and Mahmoud Khaled and Abolfazl Lavaei and Carina Pilch and Anne Remke and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Abraham Vinod and Ben Wooding and Majid Zamani and Paolo Zuliani},
     title = {ARCH-COMP20 Category Report: Stochastic Models},
     booktitle = {7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
     year = {2020},
     volume = {74},
     pages = {76--106},
     url = {https://easychair.org/publications/paper/VLXl}
   }
   

5. Mohammadhosein Hasanbeig, Alessandro Abate and Daniel Kroening, “Logically-Constrained Reinforcement Learning,” 2019.
   [bibtex] [url]

   @misc{hasanbeig2019logicallyconstrained,
     author = {Mohammadhosein Hasanbeig and Alessandro Abate and Daniel Kroening},
     title = {Logically-Constrained Reinforcement Learning},
     year = {2019},
     url = {https://arxiv.org/pdf/1801.08099.pdf},
     archivePrefix  = {arXiv},
     eprint = {1801.08099},
     primaryClass = {cs.LG}
   }
   

6. Elizabeth Polgreen, Martin Brain, Martin Fraenzle and Alessandro Abate, “Verifying Reachability Properties in Markov Chains via Incremental Induction,” 2019.
   [bibtex] [url]

   @misc{polgreen2019verifying,
     author = {Elizabeth Polgreen and Martin Brain and Martin Fraenzle and Alessandro Abate},
     title = {Verifying Reachability Properties in Markov Chains via Incremental Induction},
     year = {2019},
     url = {https://arxiv.org/pdf/1909.08017.pdf},
     archivePrefix  = {arXiv},
     eprint = {1909.08017},
     primaryClass = {cs.LO}
   }
   

7. Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella, “ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics,” in 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol. 61, pp. 1-13, 2019.
   [bibtex] [url]

   @inproceedings{ARCH19:ARCH_COMP19_Category_Report_Hybrid,
     author = {Goran Frehse and Alessandro Abate and Dieky Adzkiya and Anna Becchi and Lei Bu and Alessandro Cimatti and Mirco Giacobbe and Alberto Griggio and Sergio Mover and Muhammad Syifa'ul Mufid and Idriss Riouak and Stefano Tonetta and Enea Zaffanella},
     title = {ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics},
     booktitle = {6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
     year = {2019},
     volume = {61},
     pages = {1--13},
     url = {https://easychair.org/publications/paper/MTXh}
   }
   

8. Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fraenzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort and Abraham Vinod, “ARCH-COMP19 Category Report: Stochastic Modelling,” in 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol. 61, pp. 62-102, 2019.
   [bibtex] [url]

   @inproceedings{ARCH19:ARCH_COMP19_Category_Report_Stochastic,
     author = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Kurt Degiorgio and Martin Fraenzle and Ernst Moritz Hahn and Sofie Haesaert and Hao Ma and Meeko Oishi and Carina Pilch and Anne Remke and Mahmoud Salamati and Sadegh Soudjani and Birgit van Huijgevoort and Abraham Vinod},
     title = {ARCH-COMP19 Category Report: Stochastic Modelling},
     booktitle = {6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
     year = {2019},
     volume = {61},
     pages = {62--102},
     url = {https://easychair.org/publications/paper/S95M}
   }
   

9. Nathalie Cauchi and Alessandro Abate, “Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version),” 2018.
   [bibtex] [url]

   @misc{cauchi2018benchmarks,
     author = {Nathalie Cauchi and Alessandro Abate},
     title = {Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)},
     year = {2018},
     url = {https://arxiv.org/pdf/1803.06315.pdf},
     archivePrefix  = {arXiv},
     eprint = {1803.06315},
     primaryClass = {cs.SY}
   }
   

10. Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'Ul Mufid and Enea Zaffanella, “ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics,” in 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol. 54, pp. 1-13, 2018.
    [bibtex] [url]

    @inproceedings{ARCH18:ARCH_COMP18_Category_Report_Hybrid,
      author = {Goran Frehse and Alessandro Abate and Dieky Adzkiya and Lei Bu and Mirco Giacobbe and Muhammad Syifa'Ul Mufid and Enea Zaffanella},
      title = {ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics},
      booktitle = {5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
      year = {2018},
      volume = {54},
      pages = {1--13},
      url = {https://easychair.org/publications/paper/bXtM}
    }
    

11. Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian-Ioan Vasile and Abraham P. Vinod, “ARCH-COMP18 Category Report: Stochastic Modelling,” in 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol. 54, pp. 71-103, 2018.
    [bibtex] [url]

    @inproceedings{ARCH18:ARCH_COMP18_Category_Report_Stochastic,
      author = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Sofie Haesaert and Arnd Hartmanns and Kendra Lesser and Meeko Oishi and Vignesh Sivaramakrishnan and Sadegh Soudjani and Cristian-Ioan Vasile and Abraham P. Vinod},
      title = {ARCH-COMP18 Category Report: Stochastic Modelling},
      booktitle = {5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
      year = {2018},
      volume = {54},
      pages = {71--103},
      url = {https://easychair.org/publications/paper/DzD8}
    }
    

Dissertations

1. Alessandro Abate, Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications. PhD thesis , EECS Department, University of California, Berkeley , 2007.
   [bibtex] [url]

   @phdthesis{A07,
     author = {Alessandro Abate},
     title = {Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications},
     school = {EECS Department, University of California, Berkeley},
     year = {2007},
     url = {./publications/AA07.pdf}
   }
   

2. A. Abate, “Analysis of Stochastic Hybrid Systems,” May 2004.
   [bibtex]

   @mastersthesis{A04,
     author = {A. Abate},
     title = {Analysis of Stochastic Hybrid Systems},
     school = {EECS Department, University of California, Berkeley},
     year = {2004}
   }
   

3. A. Abate, “Non-linear, Predictive Control for a Non-holonomic, Non-minimum Phase System,” Oct 2002.
   [bibtex] [url]

   @mastersthesis{A02,
     author = {A. Abate},
     title = {Non-linear, Predictive Control for a Non-holonomic, Non-minimum Phase System},
     school = {DEI, Università degli Studi di Padova},
     year = {2002},
     url = {./publications/AA02.pdf}
   }