Craig A Innes (Preferred)
Craig A Innes
- Joined September 2018
Names
Emails
****@ed.ac.uk (Confirmed)
Personal Links
Career & Education History
PhD student
Edinburgh University, University of Edinburgh (inf.ed.ac.uk)
2015 – 2019
Advisors, Relations & Conflicts
Expertise
Black Box Verification
Present
Statistical Model Checking
Present
Temporal Logic Specifications
Present
Robot Learning
Present