-A A +A

Publications

Export 71 results:
Author Title [ Type(Desc)] Year
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.
Frehse G, Abate A, Adzkiya D, Bu L, Giacobbe M, Mufid MSyifa'Ul, Zaffanella E.  2018.  ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems.
Abate A, Budde CE, Cauchi N, Hoque KAnuarul, Stoelinga M.  2018.  Assessment 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.
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.
Wijesuriya VBrian, Abate A.  2019.  Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. Quantitative Evaluation of Systems.
Cauchi N, Abate A.  2018.  Benchmarks for cyber-physical systems: A modular model library for buildings automation. IFAC Conference on Analysis and Design of Hybrid Systems.
Mufid MSyifa'ul, Adzkiya D, Abate A.  2019.  Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. Formal Modeling and Analysis of Timed Systems.
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.
Cauchi N, Hoque KAnuarul, Abate A, Stoelinga M.  2017.  Efficient 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.
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.
Peruffo A, Guiu E, Panciatici P, Abate A.  2018.  Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident. 2018 IEEE Conference on Decision and Control (CDC).
Hasanbeig M, Abate A, Kroening D.  2018.  Logically-Constrained Reinforcement Learning. CoRR. abs/1801.08099
Peruffo A., Guiu E., Panciatici P., Abate A..  2019.  Model-based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources. Proc. 15th Int. Workshop on Advanced Control and Diagnosis.
Abate A, Budde CE, Cauchi N, van Harmelen A, Hoque KAnuarul, Stoelinga M.  2018.  Modelling Smart Buildings using Fault Maintenance Trees. 15th European Performance Engineering Workshop.
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.
Lun YZacchia, D'Innocenzo A, Abate A, Di Benedetto MDomenica.  2017.  Optimal 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.
Laurenti L, Abate A, Bortolussi L, Cardelli L, Ceska M, Kwiatkowska MZ.  2017.  Reachability 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.
Bian G, Abate A.  2017.  On 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.

Pages

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.