Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gusts Gustavs Grīnbergs
conf.researchr.org general profile
APLAS & ATVA 2026 profile
ICFP 2026 profile
Not registered as user
Name:
Gusts Gustavs
Grīnbergs
Affiliation:
IT University of Copenhagen
Contributions
2026
APLAS
Author of Tensors by Implementation, Records by Nature: Compiler Support for Neural Network Abstractions within the APLAS Research Papers-track
LOPSTR
Author of Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis within the LOPSTR+PPDP 2026-track
Share
x
Thu 10 Sep 06:10