Espoo, Finland
Game Design (August)
When:
04 August - 15 August 2025
Credits:
2 EC
Read more
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.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.0 EC
Other relevant courses
Top course
Aarhus, Denmark
Fraud Analytics: Leveraging Data and Tools for Anomaly Detection and Fraud Prevention
When:
23 July - 08 August 2025
Credits:
5 EC
Read more
Top course
Tallinn, Estonia
Gamification Workshop
When:
14 July - 18 July 2025
Credits:
2.0 EC
Read more