CESAR: Control Envelope Synthesis via Angelic Refinements (PUB-769)
CESAR: Control Envelope Synthesis via Angelic Refinements (2023) is listed in the DePaul Resource Map with a link to the published version (arXiv (Cornell University)).
PUB-769 · 2023 · arXiv (Cornell University)1
Publication landing page: authors, related facilities, grants, and sources.
Authors
- Stefan Mitsch (author)1
Related facilities
- No facility links in records.
Related grants
- No grant links in records.
Sources
- Named in published work. Archived source retained by Resource Map maintainers. View current source