On the Relation Between Reactive Synthesis and Supervisory Control of 
Non-terminating Processes

Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak

doi:10.1007/s10626-019-00299-5

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

On the Relation Between Reactive Synthesis and Supervisory Control of Non-terminating Processes

MPS-Authors

/persons/resource/persons188484

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

/persons/resource/persons144534

Majumdar, Rupak
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)

Schmuck2020_Article_OnTheRelationBetweenReactiveSy.pdf
(Publisher version), 2MB

Supplementary Material (public)

There is no public supplementary material available

Citation

Schmuck, A.-K., Moor, T., & Majumdar, R. (2020). On the Relation Between Reactive Synthesis and Supervisory Control of Non-terminating Processes. Discrete Event Dynamic Systems, 30, 81-124. doi:10.1007/s10626-019-00299-5.

Cite as: https://hdl.handle.net/21.11116/0000-0008-6A75-E

Abstract

There is no abstract available