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

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 registry.

Related grants

• No grant links in registry.

Sources

1. priority fulltext wave promote. Archived source retained by Resource Map maintainers. View current source