^-A A ⁺A

Publications

Export 65 results:

Author Title Type [ Year

]

2016

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, 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

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.