Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety 
Specifications

Zareian, Mehrdad; Schmuck, Anne-Kathrin

doi:10.1145/3575870.3587111

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications

MPS-Authors

/persons/resource/persons273942

Zareian, Mehrdad
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons188484

Schmuck, Anne-Kathrin
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

3575870.3587111.pdf
(Publisher version), 783KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Zareian, M., & Schmuck, A.-K. (2023). Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. In HSCC 2023 (pp. 1-7). New York, NY: ACM. doi:10.1145/3575870.3587111.

Cite as: https://hdl.handle.net/21.11116/0000-000D-3E04-A

Abstract

There is no abstract available