Back to Results
First PageMeta Content
Logic / Temporal logic / Philosophical logic / Mathematical logic / Abstraction / Linear temporal logic / Logic in computer science / Supervisory control theory / Non-classical logic / CTL* / Modal logic / Quantifier


Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗
Add to Reading List

Document Date: 2014-08-13 21:30:28


Open Document

File Size: 283,40 KB

Share Result on Facebook