Computer Sciences
Logics for Safe AI
When:
31 July - 11 August 2023
School:
ESS in Logic, Language and Information
Institution:
University of Ljubljana
City:
Country:
Language:
English
Credits:
0 EC
Fee:
490 EUR
About
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
Fee
490 EUR, Early student registration
Fee
690 EUR, Early non-academic registration
Interested?
When:
31 July - 11 August 2023
School:
ESS in Logic, Language and Information
Institution:
University of Ljubljana
Language:
English
Credits:
0 EC