Andrew Hinton

According to our database, Andrew Hinton authored at least 2 papers between 2006 and 2025.

Collaborative distances:

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

2025

Preliminary Assessment of Strap-down Operation of a Gravity Gradient Quantum Sensor in Maritime Contexts.

Adam Seedat, Andrew Hinton, Farzad Hayati, Jonathan Winch, Andrew Lamb, Sanaz Roshanmanesh, Sha Luo, Thomas King, Nicole Metje, Kevin Ridley, Michael Holynski

Proceedings of the IEEE/ION Position, Location and Navigation Symposium, 2025

2006

PRISM: A Tool for Automatic Verification of Probabilistic Systems.

Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006