Conference Paper
Peruffo A, Guiu E, Panciatici P, Abate A.
2017.
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :72–87.
Abate A, Ceska M, Kwiatkowska M.
2016.
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings. :13–31.
Frehse G, Abate A, Adzkiya D, Bu L, Giacobbe M.
2017.
{ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant Dynamics. {ARCH17.} 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, {USA}. :124–133.
Ahmed D, Peruffo A, Abate A.
2020.
Automated and Sound Synthesis of Lyapunov Functions with {SMT} Solvers. Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}.
Polgreen E, Wijesuriya VB, Haesaert S, Abate A.
2017.
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :259–274.
Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.
2017.
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}. :462–482.
Polgreen E, Wijesuriya VB, Haesaert S, Abate A.
2016.
Data-Efficient Bayesian Verification of Parametric Markov Chains. Quantitative Evaluation of Systems - 13th International Conference, {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. :35–51.
Abate A, Bessa I, Cattaruzza D, Chaves L, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.
2017.
DSSynth: an automated digital controller synthesis tool for physical plants. Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017. :919–924.
Holub O, Zamani M, Abate A.
2016.
Efficient {HVAC} controls: {A} symbolic approach. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :1159–1164.
Haesaert S, Van den Hof PMJ, Abate A.
2016.
Experiment design for formal verification via stochastic optimal control. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :427–432.
Pathak S, Soudjani SEsmaeil Za, Indelman V, Abate A.
2016.
Formal and Data Association Aware Robust Belief Space Planning. {STAIRS} 2016 - Proceedings of the Eighth European Starting {AI} Researcher Symposium, The Hague, The Netherlands, August 29-30, 2016. :87–98.
Abate A.
2017.
Formal verification of complex systems: model-based and data-driven methods. Proceedings of the 15th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria, September 29 - October 02, 2017. :91–93.
Hasanbeig M, Abate A, Kroening D.
2019.
Logically-Constrained Neural Fitted Q-Iteration. Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems.
Lesser K, Abate A.
2017.
Multi-objective optimal control with safety as a priority. Proceedings of the 8th International Conference on Cyber-Physical Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. :25–36.