-A A +A

Publications

Export 70 results:
Author [ Title(Asc)] Type Year
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 
V
Adzkiya D, Zhang Y, Abate A.  2016.  VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems. Discrete Event Dynamic Systems. 26:109–145.
Abate A.  2016.  Verification of Networks of Smart Energy Systems over the Cloud. Numerical Software Verification - 9th International Workshop, {NSV} 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV} 2016], Revised Selected Papers. :1–14.
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, 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, 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.
U
Cattaruzza D, Abate A, Schrammel P, Kroening D.  2015.  Unbounded-Time Analysis of Guarded {LTI} Systems with Inputs by Abstract Acceleration. Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo, France, September 9-11, 2015, Proceedings.
S
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).
Zamani M, Abate A, Girard A.  2015.  Symbolic models for stochastic switched systems: {A} discretization and a discretization-free approach. Automatica. 55:183–196.
Cauchi N, Degiorgio K, Abate A.  2019.  StocHy: automated verification and synthesis of stochastic processes. arXiv preprint arXiv:1901.10287.
Cattaruzza D, Abate A, Schrammel P, Kroening D.  2017.  Sound Numerical Computations in Abstract Acceleration. Numerical Software Verification - 10th International Workshop, {NSV} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with {CAV} 2017]. :38–60.
Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D.  2016.  Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR. abs/1610.04761
Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D.  2017.  Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :197–206.
Lesser K, Abate A.  2016.  Safety Verification of Output Feedback Controllers for Nonlinear Systems. CoRR. abs/1603.06627
Lesser K, Abate A.  2016.  Safety verification of output feedback controllers for nonlinear systems. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :413–418.
Soudjani SEsmaeil Za, Majumdar R, Abate A.  2016.  Safety Verification of Continuous-Space Pure Jump Markov Processes. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, . :147–163.
Peruffo A, Guiu E, Panciatici P, Abate A.  2019.  Safety Guarantees for the Electricity Grid with Significant Renewables Generation. Quantitative Evaluation of Systems.
Polymenakos K, Abate A, Roberts S.  2017.  Safe Policy Search with Gaussian Process Models. CoRR. abs/1712.05556
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 .
R
Bian G, Abate A.  2017.  On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). CoRR. abs/1701.04547
Bian G, Abate A.  2017.  On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. Foundations of Software Science and Computation Structures - 20th International Conference, {FOSSACS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. :321–337.

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.