Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247753330> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2247753330 abstract "The problem of restricting a finite state model (a Kripke structure) in order to satisfy a set of unrestricted CTL formulae is named the ``Unrestricted CTL Supervisor Synthesis Problem''''. The finite state model has the characteristics described in cite{ramadge-wonham87}, that is, its transitions are partitioned between controllable and uncontrollable ones. The set of CTL formulae represents a specification of the desired behavior of the system, which may be achieved through a control action. This note shows the problem to be NP-complete." @default.
- W2247753330 created "2016-06-24" @default.
- W2247753330 creator A5037919963 @default.
- W2247753330 creator A5053019630 @default.
- W2247753330 date "1995-11-01" @default.
- W2247753330 modified "2023-09-27" @default.
- W2247753330 title "The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete" @default.
- W2247753330 hasPublicationYear "1995" @default.
- W2247753330 type Work @default.
- W2247753330 sameAs 2247753330 @default.
- W2247753330 citedByCount "4" @default.
- W2247753330 countsByYear W22477533302016 @default.
- W2247753330 crossrefType "journal-article" @default.
- W2247753330 hasAuthorship W2247753330A5037919963 @default.
- W2247753330 hasAuthorship W2247753330A5053019630 @default.
- W2247753330 hasConcept C110251889 @default.
- W2247753330 hasConcept C11413529 @default.
- W2247753330 hasConcept C118615104 @default.
- W2247753330 hasConcept C121332964 @default.
- W2247753330 hasConcept C147969180 @default.
- W2247753330 hasConcept C154317977 @default.
- W2247753330 hasConcept C161913894 @default.
- W2247753330 hasConcept C177264268 @default.
- W2247753330 hasConcept C17744445 @default.
- W2247753330 hasConcept C185592680 @default.
- W2247753330 hasConcept C199360897 @default.
- W2247753330 hasConcept C199539241 @default.
- W2247753330 hasConcept C202751555 @default.
- W2247753330 hasConcept C2779110517 @default.
- W2247753330 hasConcept C2780791683 @default.
- W2247753330 hasConcept C33923547 @default.
- W2247753330 hasConcept C41008148 @default.
- W2247753330 hasConcept C48103436 @default.
- W2247753330 hasConcept C55493867 @default.
- W2247753330 hasConcept C62520636 @default.
- W2247753330 hasConceptScore W2247753330C110251889 @default.
- W2247753330 hasConceptScore W2247753330C11413529 @default.
- W2247753330 hasConceptScore W2247753330C118615104 @default.
- W2247753330 hasConceptScore W2247753330C121332964 @default.
- W2247753330 hasConceptScore W2247753330C147969180 @default.
- W2247753330 hasConceptScore W2247753330C154317977 @default.
- W2247753330 hasConceptScore W2247753330C161913894 @default.
- W2247753330 hasConceptScore W2247753330C177264268 @default.
- W2247753330 hasConceptScore W2247753330C17744445 @default.
- W2247753330 hasConceptScore W2247753330C185592680 @default.
- W2247753330 hasConceptScore W2247753330C199360897 @default.
- W2247753330 hasConceptScore W2247753330C199539241 @default.
- W2247753330 hasConceptScore W2247753330C202751555 @default.
- W2247753330 hasConceptScore W2247753330C2779110517 @default.
- W2247753330 hasConceptScore W2247753330C2780791683 @default.
- W2247753330 hasConceptScore W2247753330C33923547 @default.
- W2247753330 hasConceptScore W2247753330C41008148 @default.
- W2247753330 hasConceptScore W2247753330C48103436 @default.
- W2247753330 hasConceptScore W2247753330C55493867 @default.
- W2247753330 hasConceptScore W2247753330C62520636 @default.
- W2247753330 hasLocation W22477533301 @default.
- W2247753330 hasOpenAccess W2247753330 @default.
- W2247753330 hasPrimaryLocation W22477533301 @default.
- W2247753330 hasRelatedWork W1535578980 @default.
- W2247753330 hasRelatedWork W1979349468 @default.
- W2247753330 hasRelatedWork W1981881367 @default.
- W2247753330 hasRelatedWork W2016206563 @default.
- W2247753330 hasRelatedWork W2020750563 @default.
- W2247753330 hasRelatedWork W2048853598 @default.
- W2247753330 hasRelatedWork W2065967467 @default.
- W2247753330 hasRelatedWork W2120552118 @default.
- W2247753330 hasRelatedWork W2274066497 @default.
- W2247753330 hasRelatedWork W2399240136 @default.
- W2247753330 hasRelatedWork W2589018249 @default.
- W2247753330 hasRelatedWork W2736258653 @default.
- W2247753330 hasRelatedWork W2798742893 @default.
- W2247753330 hasRelatedWork W2913022394 @default.
- W2247753330 hasRelatedWork W2951416117 @default.
- W2247753330 hasRelatedWork W2962794883 @default.
- W2247753330 hasRelatedWork W2962805904 @default.
- W2247753330 hasRelatedWork W3098037515 @default.
- W2247753330 hasRelatedWork W3152651169 @default.
- W2247753330 hasRelatedWork W821240578 @default.
- W2247753330 isParatext "false" @default.
- W2247753330 isRetracted "false" @default.
- W2247753330 magId "2247753330" @default.
- W2247753330 workType "article" @default.