University of Waterloo

AINew AI systems are teaching machines to verifiably function safely

AI learns to mathematically prove system stability, ensuring autonomous machines like cars and grids operate safely.

Shy Cohen