Back to selection
when
31 July 2023
-
11 August 2023
11 August 2023
language
English
duration
2 weeks
fee
EUR 490
registration deadline
14 June 2023
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.