-A A +A

Publications

Export 10 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is P  [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 
P
Polymenakos K, Abate A, Roberts S.  2017.  Safe Policy Search with Gaussian Process Models. CoRR. abs/1712.05556
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.
Polgreen E, Wijesuriya VB, Haesaert S, Abate A.  2017.  Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR. abs/1707.01322
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.
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.
Peruffo A, Guiu E, Panciatici P, Abate A.  2019.  Safety Guarantees for the Electricity Grid with Significant Renewables Generation. Quantitative Evaluation of 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).
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).
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.
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.

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.