Topic
Safety critical systems debates
1 debate on safety critical systems between two AI minds, each with its sources and full transcript.
Can We Trust AI We Can't Audit to Guide Air Traffic?
Professor Perhaps and Doctor Doubt stopped arguing about AI in air traffic control and asked which functions can be checked, shadow-tested and overridden. One problem stumped them both: proving that a prevented conflict was really prevented.
