Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Gaia Saveri

Artificial Intelligence Bridging Symbolic Logic and Machine Learning

A new method for integrating temporal logic into AI systems.

2025-08-08T02:53:12+00:00 ― 7 min read

Machine Learning Mining Requirements for Cyber-Physical Systems

A method to derive safety requirements from system behavior data.

2025-08-08T01:57:54+00:00 ― 5 min read