{\rtf1\ansi\deff0\deftab360
{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}
{\colortbl;
\red0\green0\blue0;
}
{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}
\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Abate A., Ahmed D., Giacobbe M., Peruffo A..\'a0 2021.\'a0\'a0Formal Synthesis of Lyapunov Neural Networks. IEEE Control Systems Letters. 5:773-778.\par \par Ahmed D, Peruffo A, Abate A.\'a0 2020.\'a0\'a0Automated 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\}. \par \par Hasanbeig M, Abate A, Kroening D.\'a0 2020.\'a0\'a0Cautious Reinforcement Learning with Logical Constraints. AAMAS. \par \par Abate A, Cimatti A, Micheli A, Mufid MSyifa'Ul.\'a0 2020.\'a0\'a0Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS 2020. \par \par Hasanbeig M, Kroening D, Abate A.\'a0 2020.\'a0\'a0Deep Reinforcement Learning with Temporal Logics. International Conference on Formal Modeling and Analysis of Timed Systems. \par \par Wijesuriya VBrian, Abate A.\'a0 2019.\'a0\'a0Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. Quantitative Evaluation of Systems. \par \par Mufid MSyifa'ul, Adzkiya D, Abate A.\'a0 2019.\'a0\'a0Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. Formal Modeling and Analysis of Timed Systems. \par \par Hasanbeig M, Abate A, Kroening D.\'a0 2019.\'a0\'a0Certified Reinforcement Learning with Logic Guidance. arXiv preprint arXiv:1902.00778. \par \par Hasanbeig M, Jeppu NYogananda, Abate A, Melham T, Kroening D.\'a0 2019.\'a0\'a0DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. arXiv preprint arXiv:1911.10244. \par \par Cauchi N, Laurenti L, Lahijanian M, Abate A, Kwiatkowska M, Cardelli L.\'a0 2019.\'a0\'a0Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. https://arxiv.org/abs/1901.01576. \par \par Hasanbeig M, Abate A, Kroening D.\'a0 2019.\'a0\'a0Logically-Constrained Neural Fitted Q-Iteration. Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. \par \par Peruffo A., Guiu E., Panciatici P., Abate A..\'a0 2019.\'a0\'a0Model-based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources. Proc. 15th Int. Workshop on Advanced Control and Diagnosis. \par \par Yuan LZun, Hasanbeig M, Abate A, Kroening D.\'a0 2019.\'a0\'a0Modular Deep Reinforcement Learning with Temporal Logic Specifications. arXiv preprint arXiv:1909.11591. \par \par Hasanbeig M, Kantaros Y, Abate A, Kroening D, Pappas GJ, Lee I.\'a0 2019.\'a0\'a0Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. arXiv preprint arXiv:1909.05304. \par \par Peruffo A, Guiu E, Panciatici P, Abate A.\'a0 2019.\'a0\'a0Safety Guarantees for the Electricity Grid with Significant Renewables Generation. Quantitative Evaluation of Systems. \par \par Cauchi N, Degiorgio K, Abate A.\'a0 2019.\'a0\'a0StocHy: automated verification and synthesis of stochastic processes. arXiv preprint arXiv:1901.10287. \par \par Lun YZacchia, Wheatley J, D'Innocenzo A, Abate A.\'a0 2018.\'a0\'a0Approximate Abstractions of Markov Chains with Interval Decision Processes . IFAC Conference on Analysis and Design of Hybrid Systems. \par \par Frehse G, Abate A, Adzkiya D, Bu L, Giacobbe M, Mufid MSyifa'Ul, Zaffanella E.\'a0 2018.\'a0\'a0ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. \par \par Abate A, Blom H, Cauchi N, Haesaert S, Hartmanns A, Lesser K, Oishi M, Sivaramakrishnan V, Soudjani S, Vasile C-I et al..\'a0 2018.\'a0\'a0ARCH-COMP18 Category Report: Stochastic Modelling. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. 54:71-103.\par \par Abate A, Budde CE, Cauchi N, Hoque KAnuarul, Stoelinga M.\'a0 2018.\'a0\'a0Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees. Fourth european conference of the prognostics and health management society 2018. \par \par Cauchi N, Abate A.\'a0 2018.\'a0\'a0Benchmarks for cyber-physical systems: A modular model library for buildings automation. IFAC Conference on Analysis and Design of Hybrid Systems. \par \par Peruffo A, Guiu E, Panciatici P, Abate A.\'a0 2018.\'a0\'a0Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident. 2018 IEEE Conference on Decision and Control (CDC). \par \par Hasanbeig M, Abate A, Kroening D.\'a0 2018.\'a0\'a0Logically-Constrained Reinforcement Learning. CoRR. abs/1801.08099\par \par Cauchi N, Hoque KAnuarul, Stoelinga M, Abate A.\'a0 2018.\'a0\'a0Maintenance of Smart Buildings using Fault Trees. ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments. \par \par Abate A, Budde CE, Cauchi N, van Harmelen A, Hoque KAnuarul, Stoelinga M.\'a0 2018.\'a0\'a0Modelling Smart Buildings using Fault Maintenance Trees. 15th European Performance Engineering Workshop. \par \par Abate A, Bessa I, Cattaruzza D, Cordeiro L, David C, Kessell P, Kroening D, Polgreen E.\'a0 2018.\'a0\'a0Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants. 7th Workshop on Synthesis . \par \par Peruffo A., Abate A., Guiu E., Panciatici P..\'a0 2018.\'a0\'a0Synchronous Frequency Grid Dynamics in the Presence of a Large-Scale Population of Photovoltaic Panels. 2018 Power Systems Computation Conference (PSCC). \par \par Haesaert S, Soudjani S, Abate A.\'a0 2018.\'a0\'a0Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement. IFAC Conference on Analysis and Design of Hybrid Systems. \par \par Mufid MSyifa'ul, Adzkiya D, Abate A.\'a0 2018.\'a0\'a0Tropical Abstractions of Max-Plus Linear Systems. Formal Modeling and Analysis of Timed Systems. \par \par Peruffo A, Guiu E, Panciatici P, Abate A.\'a0 2017.\'a0\'a0Aggregated 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.\par \par Frehse G, Abate A, Adzkiya D, Bu L, Giacobbe M.\'a0 2017.\'a0\'a0\{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.\par \par Polgreen E, Wijesuriya VB, Haesaert S, Abate A.\'a0 2017.\'a0\'a0Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR. abs/1707.01322\par \par Polgreen E, Wijesuriya VB, Haesaert S, Abate A.\'a0 2017.\'a0\'a0Automated 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.\par \par Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.\'a0 2017.\'a0\'a0Automated 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.\par \par Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.\'a0 2017.\'a0\'a0Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR. abs/1705.00981\par \par Haesaert S, Cauchi N, Abate A.\'a0 2017.\'a0\'a0Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Eval.. 117:75?103.\par \par Chen F, Haesaert S, Abate A, Weiland S.\'a0 2017.\'a0\'a0Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations. CoRR. abs/1704.01672\par \par Haesaert S, Van den Hof PMJ, Abate A.\'a0 2017.\'a0\'a0Data-driven and model-based verification via Bayesian identification and reachability analysis. Automatica. 79:115?126.\par \par Abate A, Bessa I, Cattaruzza D, Chaves L, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.\'a0 2017.\'a0\'a0DSSynth: 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.\par \par Soudjani SEsmaeil Za, Abate A, Majumdar R.\'a0 2017.\'a0\'a0Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Inf.. 54:217?242.\par \par Cauchi N, Hoque KAnuarul, Abate A, Stoelinga M.\'a0 2017.\'a0\'a0Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. In Proceedings of the 4th International Conference on Systems for Energy-Efficient Built Environments. \par \par Cauchi N, Hoque KAnuarul, Abate A, Stoelinga M.\'a0 2017.\'a0\'a0Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. abs/1801.04263:24:1-24:10.\par \par Abate A, Cardelli L, Kwiatkowska M, Laurenti L, Yordanov B.\'a0 2017.\'a0\'a0Experimental Biological Protocols with Formal Semantics. CoRR. abs/1710.08016\par \par [Anonymous].\'a0 2017.\'a0\'a0Formal Modeling and Analysis of Timed Systems - 15th International Conference, \{FORMATS\} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science. 10419\par \par Abate A.\'a0 2017.\'a0\'a0Formal 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.\par \par Macek K, Endel P, Cauchi N, Abate A.\'a0 2017.\'a0\'a0Long-Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers. Energy and Buildings. \par \par Cauchi N, Macek K, Abate A.\'a0 2017.\'a0\'a0Model-based predictive maintenance in building automation systems with user discomfort. Energy. 138:306-315.\par \par Lesser K, Abate A.\'a0 2017.\'a0\'a0Multi-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.\par \par [Anonymous].\'a0 2017.\'a0\'a0Numerical Software Verification - 10th International Workshop, \{NSV\} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with \{CAV\} 2017]. Lecture Notes in Computer Science. 10381\par \par Lun YZacchia, D'Innocenzo A, Abate A, Di Benedetto MDomenica.\'a0 2017.\'a0\'a0Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. 56th \{IEEE\} Annual Conference on Decision and Control, \{CDC\} 2017, Melbourne, Australia, December 12-15, 2017. :6525?6530.\par \par Tkachev I, Mereacre A, Katoen J-P, Abate A.\'a0 2017.\'a0\'a0Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput.. 253:1?35.\par \par Laurenti L, Abate A, Bortolussi L, Cardelli L, Ceska M, Kwiatkowska MZ.\'a0 2017.\'a0\'a0Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, \{HSCC\} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :55?64.\par \par Bian G, Abate A.\'a0 2017.\'a0\'a0On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. Foundations of Software Science and Computation Structures - 20th International Conference, \{FOSSACS\} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, \{ETAPS\} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. :321?337.\par \par Bian G, Abate A.\'a0 2017.\'a0\'a0On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). CoRR. abs/1701.04547\par \par Polymenakos K, Abate A, Roberts S.\'a0 2017.\'a0\'a0Safe Policy Search with Gaussian Process Models. CoRR. abs/1712.05556\par \par Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D.\'a0 2017.\'a0\'a0Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, \{HSCC\} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :197?206.\par \par Cattaruzza D, Abate A, Schrammel P, Kroening D.\'a0 2017.\'a0\'a0Sound Numerical Computations in Abstract Acceleration. Numerical Software Verification - 10th International Workshop, \{NSV\} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with \{CAV\} 2017]. :38?60.\par \par Haesaert S, Soudjani SEsmaeil Za, Abate A.\'a0 2017.\'a0\'a0Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR. abs/1712.07622\par \par Zamani M, Tkachev I, Abate A.\'a0 2017.\'a0\'a0Towards scalable synthesis of stochastic control systems. Discrete Event Dynamic Systems. 27:341?369.\par \par Haesaert S, Soudjani SEsmaeil Za, Abate A.\'a0 2017.\'a0\'a0Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. \{SIAM\} J. Control and Optimization. 55:2333?2367.\par \par Abate A, Ceska M, Kwiatkowska M.\'a0 2016.\'a0\'a0Approximate 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.\par \par Polgreen E, Wijesuriya VB, Haesaert S, Abate A.\'a0 2016.\'a0\'a0Data-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.\par \par Holub O, Zamani M, Abate A.\'a0 2016.\'a0\'a0Efficient \{HVAC\} controls: \{A\} symbolic approach. 2016 European Control Conference, \{ECC\} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :1159?1164.\par \par Haesaert S, Van den Hof PMJ, Abate A.\'a0 2016.\'a0\'a0Experiment design for formal verification via stochastic optimal control. 2016 European Control Conference, \{ECC\} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :427?432.\par \par Pathak S, Soudjani SEsmaeil Za, Indelman V, Abate A.\'a0 2016.\'a0\'a0Formal 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.\par \par Soudjani SEsmaeil Za, Adzkiya D, Abate A.\'a0 2016.\'a0\'a0Formal Verification of Stochastic Max-Plus-Linear Systems. \{IEEE\} Trans. Automat. Contr.. 61:2861?2876.\par \par [Anonymous].\'a0 2016.\'a0\'a0Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, \{HSCC\} 2016, Vienna, Austria, April 12-14, 2016. \par \par Soudjani SEsmaeil Za, Majumdar R, Abate A.\'a0 2016.\'a0\'a0Safety Verification of Continuous-Space Pure Jump Markov Processes. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, \{TACAS\} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, \{ETAPS\} 2016, Eindhoven, The Netherlands, April 2-8, 2016, . :147?163.\par \par Lesser K, Abate A.\'a0 2016.\'a0\'a0Safety verification of output feedback controllers for nonlinear systems. 2016 European Control Conference, \{ECC\} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :413?418.\par \par Lesser K, Abate A.\'a0 2016.\'a0\'a0Safety Verification of Output Feedback Controllers for Nonlinear Systems. CoRR. abs/1603.06627\par \par Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D.\'a0 2016.\'a0\'a0Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR. abs/1610.04761\par \par Zamani M, Tkachev I, Abate A.\'a0 2016.\'a0\'a0Towards Scalable Synthesis of Stochastic Control Systems. CoRR. abs/1602.01358\par \par Haesaert S, Abate A, Van den Hof PMJ.\'a0 2016.\'a0\'a0Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. Quantitative Evaluation of Systems - 13th International Conference, \{QEST\} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. :227?243.\par \par Haesaert S, Soudjani SEsmaeil Za, Abate A.\'a0 2016.\'a0\'a0Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR. abs/1605.09557\par \par Abate A.\'a0 2016.\'a0\'a0Verification of Networks of Smart Energy Systems over the Cloud. Numerical Software Verification - 9th International Workshop, \{NSV\} 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with \{CAV\} 2016], Revised Selected Papers. :1?14.\par \par Adzkiya D, Zhang Y, Abate A.\'a0 2016.\'a0\'a0VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems. Discrete Event Dynamic Systems. 26:109?145.\par \par Adzkiya D, De Schutter B, Abate A.\'a0 2015.\'a0\'a0Computational techniques for reachability analysis of Max-Plus-Linear systems. Automatica. 53:293?302.\par \par Zamani M, Abate A, Girard A.\'a0 2015.\'a0\'a0Symbolic models for stochastic switched systems: \{A\} discretization and a discretization-free approach. Automatica. 55:183?196.\par \par Cattaruzza D, Abate A, Schrammel P, Kroening D.\'a0 2015.\'a0\'a0Unbounded-Time Analysis of Guarded \{LTI\} Systems with Inputs by Abstract Acceleration. Static Analysis - 22nd International Symposium, \{SAS\} 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. \par \par }