-A A +A

Publications

Export 16 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
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.
Hasanbeig M, Abate A, Kroening D.  2020.  Cautious Reinforcement Learning with Logical Constraints. AAMAS.
Hasanbeig M, Abate A, Kroening D.  2018.  Logically-Constrained Reinforcement Learning. CoRR. abs/1801.08099
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.
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.
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.
Hasanbeig M, Kroening D, Abate A.  2020.  Deep Reinforcement Learning with Temporal Logics. International Conference on 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.
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.
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.
Haesaert S, Soudjani SEsmaeil Za, Abate A.  2017.  Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR. abs/1712.07622
Haesaert S, Soudjani SEsmaeil Za, Abate A.  2016.  Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR. abs/1605.09557
Haesaert S, Soudjani SEsmaeil Za, Abate A.  2017.  Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. {SIAM} J. Control and Optimization. 55:2333–2367.
Haesaert S, Abate A, Van den Hof PMJ.  2016.  Verification 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.
Haesaert S, Cauchi N, Abate A.  2017.  Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Eval.. 117:75–103.
Haesaert S, Van den Hof PMJ, Abate A.  2017.  Data-driven and model-based verification via Bayesian identification and reachability analysis. Automatica. 79:115–126.

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.