CESAR: Control Envelope Synthesis via Angelic Refinements (PUB-607)

CESAR: Control Envelope Synthesis via Angelic Refinements (2024) is listed in the DePaul Resource Map with a link to the published version (Lecture notes in computer science).

PUB-607 · 2024 · Lecture notes in computer science¹

DOI

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

Authors

• Stefan Mitsch (author)¹

Related facilities

• No facility links in records.

Related grants

• No grant links in records.

Sources

1. Named in published work. Archived source retained by Resource Map maintainers. View current source