-A A +A

Publications

Export 74 results:
Author Title Type [ Year(Asc)]
2017
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.
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.
Haesaert S, Soudjani SEsmaeil Za, Abate A.  2017.  Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR. abs/1712.07622
Zamani M, Tkachev I, Abate A.  2017.  Towards scalable synthesis of stochastic control systems. Discrete Event Dynamic Systems. 27:341–369.
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.
2016
Abate A, Ceska M, Kwiatkowska M.  2016.  Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings. :13–31.
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.
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.
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.
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.
Soudjani SEsmaeil Za, Adzkiya D, Abate A.  2016.  Formal Verification of Stochastic Max-Plus-Linear Systems. {IEEE} Trans. Automat. Contr.. 61:2861–2876.
[Anonymous].  2016.  Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14, 2016.
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.
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.
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
Zamani M, Tkachev I, Abate A.  2016.  Towards Scalable Synthesis of Stochastic Control Systems. CoRR. abs/1602.01358
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.
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.
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.
2015
Adzkiya D, De Schutter B, Abate A.  2015.  Computational techniques for reachability analysis of Max-Plus-Linear systems. Automatica. 53:293–302.
Zamani M, Abate A, Girard A.  2015.  Symbolic models for stochastic switched systems: {A} discretization and a discretization-free approach. Automatica. 55:183–196.
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.

Pages

USEFUL LINKS

MORE USEFUL LINKS

GET IN TOUCH WITH US

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.