-A A +A


Export 7 results:
Author Title Type [ Year(Asc)]
Filters: Author is Sadegh Esmaeil Zadeh Soudjani  [Clear All Filters]
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.
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.
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


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.