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

First Page		Document Content
Date: 2014-08-13 21:30:28 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 Source URL: excape.cis.upenn.edu Download Document from Source Website File Size: 283,40 KB Share Document on Facebook

	* CTL synthesis via LTL synthesis DocID: 1xV1o - View Document
	The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y DocID: 1xTLe - View Document
	PDF Document DocID: 1xGFc - View Document
	PDF Document DocID: 1xqcJ - View Document
	PDF Document DocID: 1x1a4 - View Document