Craig A Innes

Edinburgh University, University of Edinburgh

  • Joined September 2018

Names

Craig A Innes (Preferred)

Emails

****@ed.ac.uk (Confirmed)

Personal Links

Education & Career History

PhD student
Edinburgh University, University of Edinburgh (inf.ed.ac.uk)
2015 – 2019
 

Advisors, Relations & Conflicts

No relations added

Expertise

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