Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roderick Bloem
conf.researchr.org general profile
POPL 2026 profile
Not registered as user
Name:
Roderick Bloem
Country:
Austria
Affiliation:
Graz University of Technology
Contributions
2026
POPL
Author of Parameterized Infinite-State Reactive Synthesis within the POPL-track
Share
x
Wed 9 Sep 14:46