default author photo

Ben Carvell

University of Exeter

Northcote House

The Queen's Drive

Exeter, Devon EX4 4QJ

United Kingdom

  • University of Exeter

SCHOLARLY PAPERS

3

DOWNLOADS

208

TOTAL CITATIONS

0

Scholarly Papers (3)

Actions:
Email selected abstracts
1.

Towards Transparent AI Agents for Air Traffic Control

Number of pages: 14 Posted: 08 Jan 2026
Elhassan Mohamed, Ben Carvell, Rob Procter, Eseoghene Benjamin, George De Ath and Richard Everson
The Alan Turing Institute, University of Exeter, University of Warwick, The Alan Turing Institute, University of Exeter and University of Exeter
Downloads 96 (837,727)

Abstract:

Loading...

2.

A Probabilistic Method for Sector-Specific 4d Aircraft Trajectory Prediction

Number of pages: 43 Posted: 11 Oct 2024
Nick Pepper, George De Ath, Ben Carvell, Amy Hodgkin, Tim Dodwell, Marc Thomas and Richard Everson
The Alan Turing Institute, University of Exeter, University of Exeter, The Alan Turing Institute, University of Exeter, Independent and University of Exeter
Downloads 84 (777,583)

Abstract:

Loading...

Trajectory Prediction, Air Traffic Management, Probabilistic Machine Learning, Bayesian Neural Networks

3.

Certified Pairwise Lateral Safety for Bounded-Speed Aircraft Encounters with Single-Turn Manoeuvres

Number of pages: 23 Posted: 01 Jun 2026
George De Ath and Ben Carvell
University of Exeter and University of Exeter
Downloads 28 (1,534,404)

Abstract:

Loading...

Air Traffic Management, Conflict Detection, Reachable Sets, Safety Certification, Geometric Algorithms