-A A +A

Publications

Export 66 results:
Author Title Type [ Year(Asc)]
2016
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. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :413–418.
Lesser K, Abate A.  2016.  Safety Verification of Output Feedback Controllers for Nonlinear Systems. CoRR. abs/1603.06627
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, 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.  2016.  Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR. abs/1605.09557
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.