Marcin Jurdzinski
Marcin Jurdzinski
Affiliation: Warwick University
Affiliation: DIMAP, University of Warwick
Pages in this Program
From Quasipolynomial to Data-Parallel Algorithms for Verification Games Played on Graphs
Fast Obligation Translation and Synthesis (Distinguished Paper)
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑