Luca Bortolussi

A new method for integrating temporal logic into AI systems.

A method to derive safety requirements from system behavior data.

Ensuring AI explanations are clear and reliable for user trust.

Learn how transformers process data and adapt to new tasks.

Combining advanced techniques streamlines analog circuit design for better efficiency.