Hybrid Game Control Envelope Synthesis (PUB-070)

Hybrid Game Control Envelope Synthesis (2026) is listed in the DePaul Resource Map with a link to the published version (Proceedings of the ACM on Programming Languages).

PUB-070 · 2026 · Proceedings of the ACM on Programming Languages¹

DOI

Publication landing page: authors, related facilities, grants, and sources.

Authors

• Stefan Mitsch (coauthor)¹

Related facilities

• No facility links in records.

Related grants

• No grant links in records.

Sources

1. Scholar discovery batch 9 cohort review 2026-07-01; DOI verified via crossref. DOI