-A A +A

Publications

Export 75 results:
Author Title Type [ Year(Asc)]
2019
Wijesuriya VBrian, Abate A.  2019.  Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. Quantitative Evaluation of 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.
Hasanbeig M, Abate A, Kroening D.  2019.  Certified Reinforcement Learning with Logic Guidance. arXiv preprint arXiv:1902.00778.
Hasanbeig M, Jeppu NYogananda, Abate A, Melham T, Kroening D.  2019.  DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. arXiv preprint arXiv:1911.10244.
Cauchi N, Laurenti L, Lahijanian M, Abate A, Kwiatkowska M, Cardelli L.  2019.  Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. https://arxiv.org/abs/1901.01576.
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.
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.
Yuan LZun, Hasanbeig M, Abate A, Kroening D.  2019.  Modular Deep Reinforcement Learning with Temporal Logic Specifications. arXiv preprint arXiv:1909.11591.
Hasanbeig M, Kantaros Y, Abate A, Kroening D, Pappas GJ, Lee I.  2019.  Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. arXiv preprint arXiv:1909.05304.
Peruffo A, Guiu E, Panciatici P, Abate A.  2019.  Safety Guarantees for the Electricity Grid with Significant Renewables Generation. Quantitative Evaluation of Systems.
Cauchi N, Degiorgio K, Abate A.  2019.  StocHy: automated verification and synthesis of stochastic processes. arXiv preprint arXiv:1901.10287.
2018
Lun YZacchia, Wheatley J, D'Innocenzo A, Abate A.  2018.  Approximate Abstractions of Markov Chains with Interval Decision Processes . IFAC Conference on Analysis and Design of Hybrid Systems.
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, Blom H, Cauchi N, Haesaert S, Hartmanns A, Lesser K, Oishi M, Sivaramakrishnan V, Soudjani S, Vasile C-I et al..  2018.  ARCH-COMP18 Category Report: Stochastic Modelling. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. 54:71-103.
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.
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.
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
Cauchi N, Hoque KAnuarul, Stoelinga M, Abate A.  2018.  Maintenance of Smart Buildings using Fault Trees. ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments.
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.
Abate A, Bessa I, Cattaruzza D, Cordeiro L, David C, Kessell P, Kroening D, Polgreen E.  2018.  Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants. 7th Workshop on Synthesis .
Peruffo A., Abate A., Guiu E., Panciatici P..  2018.  Synchronous Frequency Grid Dynamics in the Presence of a Large-Scale Population of Photovoltaic Panels. 2018 Power Systems Computation Conference (PSCC).
Haesaert S, Soudjani S, Abate A.  2018.  Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement. IFAC Conference on Analysis and Design of Hybrid Systems.
Mufid MSyifa'ul, Adzkiya D, Abate A.  2018.  Tropical Abstractions of Max-Plus Linear Systems. Formal Modeling and Analysis of Timed Systems.

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.