-A A +A

Publications

Export 79 results:
Author Title Type [ Year(Asc)]
2020
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}.
Hasanbeig M, Abate A, Kroening D.  2020.  Cautious Reinforcement Learning with Logical Constraints. AAMAS.
Abate A, Cimatti A, Micheli A, Mufid MSyifa'Ul.  2020.  Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS 2020.
Hasanbeig M, Kroening D, Abate A.  2020.  Deep Reinforcement Learning with Temporal Logics. International Conference on Formal Modeling and Analysis of Timed Systems.
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.

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.