Neil Cameron

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 1

Top Topics

Alternating Time Temporal Logic

Factors That Influence

Top Venues

J. Aerosp. Inf. Syst.

Publications

Scott Fang, Ming Hou, Nada Pavlovic, Neil Cameron, Shayan Shirshekar, Simon P. Banbury
Trust Factors Identifying and Weighting for Trust Modeling in Soldier-Robot Teaming. ICHMS (2024)
Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. J. Aerosp. Inf. Syst. 11 (5) (2014)
Matt Webster, Neil Cameron, Michael Jump, Michael Fisher
Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. Infotech@Aerospace (2012)
Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. SAFECOMP (2011)
Andreas Komninos, Neil Cameron, Colin Feron, Richard Allan, Alistair Lindsay
AmbientDJ: Enabling Interaction between People and Socially Aware Environments. MIRW (2008)