-A A +A

Publications

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