Sasha Rubin
Sasha Rubin
Affiliation: University of Sydney, Australia
Talks
(KR)
Specifying Agent Strategy Spaces via LTL Synthesis · Reasoning on actions
Pages in this Program
Program
Program on Monday, 20 July 2026
KR on Monday, 20 July 2026
KR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑