-A A +A


Export 6 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is D  [Clear All Filters]
Hasanbeig M, Kroening D, Abate A.  2020.  Deep Reinforcement Learning with Temporal Logics. International Conference on Formal Modeling and Analysis of Timed Systems.
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.


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.