Hybrid Game Control Envelope Synthesis (PUB-070)
PUB-070 · 2026 · Proceedings of the ACM on Programming Languages1
Publication landing page: authors, related facilities, grants, and sources.
Authors
- Stefan Mitsch (coauthor)1
Related facilities
- No facility links in registry.
Related grants
- No grant links in registry.
Sources
- Scholar discovery batch 9 cohort review 2026-07-01; DOI verified via crossref. DOI