Charles Patchett

According to our database, Charles Patchett authored at least 3 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Verifiable Self-Certifying Autonomous Systems.

Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2008

A Preliminary Model of Accident Causality for Uninhabited Autonomous Air Systems and Its Implications for Their Decision Architectures.

Charles Patchett, Venkat Sastry

Proceedings of the 10th EUROS/UKSim International Conference on Computer Modelling and Simulation, 2008

A Passive Approach to Autonomous Collision Detection and Avoidance.

Plamen P. Angelov, Cosmin Danut Bocaniala, Costas S. Xydeas, Charles Patchett, Daren Ansell, Michael Everett, Gang Leng

Proceedings of the 10th EUROS/UKSim International Conference on Computer Modelling and Simulation, 2008