Explore

Team

Meet the AISEC team, including both our core members and our external collaborators.

Software

Discover the software that we have have developed to improve the AI verification.

Publications

Explore our research papers that have come out of the AISEC project.

News

AISEC seminar: Learning weighted automata

This week's seminar is:   Clemens Kupke, University of StrathclydeTitle:...

AISEC seminar: Robust Plan-Based Robot Control

This week's seminar is:   Bruno Gavranović, University of StrathclydeTitle:...

AISEC seminar: Robust Plan-Based Robot Control

This week's seminar is:   Dr Michael Cashmore, University of Strathclyde

Talks

Professor Guy Katz: Verifying Recurrent Neural Networks using Invariant Inference

Professor Marco GaboardiFormal Verification of Higher-order Probabilistic Programs

See more AISEC talks
Free Joomla! templates by Engine Templates