Get my own profile
Co-authors
- Joar SkalseDPhil Student in Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Lewis HammondUniversity of OxfordVerified email at cs.ox.ac.uk
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Yuki M. AsanoAssistant Professor, University of AmsterdamVerified email at uva.nl
- Michael CollyerUniversity of OxfordVerified email at oii.ox.ac.uk
- Aleksandar (Suny) ShtedritskiPhD student, University of OxfordVerified email at robots.ox.ac.uk
- Xingjian BaiUniversity of OxfordVerified email at mit.edu
- Jacek KarwowskiUniversity of OxfordVerified email at cs.ox.ac.uk
- Diogo CruzPhD Student, Instituto Superior TécnicoVerified email at tecnico.ulisboa.pt