Craig A Innes

Edinburgh University, University of Edinburgh

Names

Craig A Innes (Preferred)

Emails

****@ed.ac.uk

Education & Career History

PhD student
Edinburgh University, University of Edinburgh (inf.ed.ac.uk)
20152019
 

Advisors, Relations & Conflicts

No relations added

Expertise

Black Box Verification
Present
 
Statistical Model Checking
Present
 
Temporal Logic Specifications
Present
 
Robot Learning
Present