Lucas Martinelli Tabajara
Lucas Martinelli Tabajara
Affiliation: Runtime Verification Inc.
Talks
(KR)
On-the-fly LTLf Synthesis under Partial Observability · Planning
Pages in this Program
Program
Program on Tuesday, 21 July 2026
KR on Tuesday, 21 July 2026
KR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑