Ljubljana, Slovenia

Logics for Safe AI

when 31 July 2023 - 11 August 2023
language English
duration 2 weeks
fee EUR 490

This advanced course will introduce the use of logics for the specification, verification and synthesis of provably correct AI programs. The topics will range from verification of multi-agent systems, synthesis of strategies for coalitions of agents, the use of logic in ensuring safety properties in reinforcement learning, and synthesising reward functions in reinforcement learning from logical specifications.

Course leader

Brian Logan

Target group

Students

Fee info

EUR 490: Early student registration
EUR 690: Early non-academic registration

Scholarships

There are several scholarship options which you can read about on our website.