-A A +A

Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is Sadegh Soudjani  [Clear All Filters]
2018
Abate A, Blom H, Cauchi N, Haesaert S, Hartmanns A, Lesser K, Oishi M, Sivaramakrishnan V, Soudjani S, Vasile C-I et al..  2018.  ARCH-COMP18 Category Report: Stochastic Modelling. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. 54:71-103.
Haesaert S, Soudjani S, Abate A.  2018.  Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement. IFAC Conference on Analysis and Design of Hybrid Systems.

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.