-A A +A

Publications

Export 13 results:
Author Title Type [ Year(Asc)]
Filters: Author is Abate, Alessandro  [Clear All Filters]
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.
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.

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.