London Bridget

According to our database, London Bridget authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems.

Matthew Litton, Doron Drusinsky, London Bridget, James Bret Michael

Computer, October, 2024