Matches in SemOpenAlex for { <https://semopenalex.org/work/W2462214458> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2462214458 abstract "This paper will give a proof for the PSPACE-completeness of LTLsatisfiability and for the PSPACE-completeness of the problem of determining if a given LTL/CTL formula is true in a given system. CTL , a very expressive temporal logic, combines and extends both LTL and CTL and is used in model checking. The fact that CTL model checking is PSPACE-complete was shown by Clarke, Emerson and Sistla in 1986 but most of the work had already been done by Sistla and Clarke in 1985. Before proving the main results the basics of Kripke structures and temporal formulas will be explained shortly as we need them later on. This paper was written as a Studienarbeit at the Institute of Theoretical Computer Science of the Leibniz University Hannover, Germany. I want to thank Thomas Zeume for his advice on the first draft of this paper." @default.
- W2462214458 created "2016-07-22" @default.
- W2462214458 creator A5030019195 @default.
- W2462214458 date "2007-01-01" @default.
- W2462214458 modified "2023-09-27" @default.
- W2462214458 title "PSPACE-completeness of LTL/CTL model checking" @default.
- W2462214458 cites W2003227046 @default.
- W2462214458 cites W2117189826 @default.
- W2462214458 cites W2913459036 @default.
- W2462214458 hasPublicationYear "2007" @default.
- W2462214458 type Work @default.
- W2462214458 sameAs 2462214458 @default.
- W2462214458 citedByCount "0" @default.
- W2462214458 crossrefType "journal-article" @default.
- W2462214458 hasAuthorship W2462214458A5030019195 @default.
- W2462214458 hasConcept C110251889 @default.
- W2462214458 hasConcept C11413529 @default.
- W2462214458 hasConcept C134306372 @default.
- W2462214458 hasConcept C147483822 @default.
- W2462214458 hasConcept C147969180 @default.
- W2462214458 hasConcept C167672396 @default.
- W2462214458 hasConcept C17231256 @default.
- W2462214458 hasConcept C179799912 @default.
- W2462214458 hasConcept C197685441 @default.
- W2462214458 hasConcept C198008173 @default.
- W2462214458 hasConcept C199343813 @default.
- W2462214458 hasConcept C199360897 @default.
- W2462214458 hasConcept C203014093 @default.
- W2462214458 hasConcept C25016198 @default.
- W2462214458 hasConcept C2777686260 @default.
- W2462214458 hasConcept C33923547 @default.
- W2462214458 hasConcept C41008148 @default.
- W2462214458 hasConcept C71924100 @default.
- W2462214458 hasConceptScore W2462214458C110251889 @default.
- W2462214458 hasConceptScore W2462214458C11413529 @default.
- W2462214458 hasConceptScore W2462214458C134306372 @default.
- W2462214458 hasConceptScore W2462214458C147483822 @default.
- W2462214458 hasConceptScore W2462214458C147969180 @default.
- W2462214458 hasConceptScore W2462214458C167672396 @default.
- W2462214458 hasConceptScore W2462214458C17231256 @default.
- W2462214458 hasConceptScore W2462214458C179799912 @default.
- W2462214458 hasConceptScore W2462214458C197685441 @default.
- W2462214458 hasConceptScore W2462214458C198008173 @default.
- W2462214458 hasConceptScore W2462214458C199343813 @default.
- W2462214458 hasConceptScore W2462214458C199360897 @default.
- W2462214458 hasConceptScore W2462214458C203014093 @default.
- W2462214458 hasConceptScore W2462214458C25016198 @default.
- W2462214458 hasConceptScore W2462214458C2777686260 @default.
- W2462214458 hasConceptScore W2462214458C33923547 @default.
- W2462214458 hasConceptScore W2462214458C41008148 @default.
- W2462214458 hasConceptScore W2462214458C71924100 @default.
- W2462214458 hasLocation W24622144581 @default.
- W2462214458 hasOpenAccess W2462214458 @default.
- W2462214458 hasPrimaryLocation W24622144581 @default.
- W2462214458 hasRelatedWork W1531229853 @default.
- W2462214458 hasRelatedWork W1599584094 @default.
- W2462214458 hasRelatedWork W1671579239 @default.
- W2462214458 hasRelatedWork W198954820 @default.
- W2462214458 hasRelatedWork W2006809655 @default.
- W2462214458 hasRelatedWork W2014322692 @default.
- W2462214458 hasRelatedWork W2017112542 @default.
- W2462214458 hasRelatedWork W2033075656 @default.
- W2462214458 hasRelatedWork W2045826397 @default.
- W2462214458 hasRelatedWork W2074884184 @default.
- W2462214458 hasRelatedWork W2122284739 @default.
- W2462214458 hasRelatedWork W2518772226 @default.
- W2462214458 hasRelatedWork W2627030740 @default.
- W2462214458 hasRelatedWork W2740128568 @default.
- W2462214458 hasRelatedWork W2950900930 @default.
- W2462214458 hasRelatedWork W3148855524 @default.
- W2462214458 hasRelatedWork W3177312327 @default.
- W2462214458 hasRelatedWork W52360167 @default.
- W2462214458 hasRelatedWork W2340519599 @default.
- W2462214458 hasRelatedWork W88849558 @default.
- W2462214458 isParatext "false" @default.
- W2462214458 isRetracted "false" @default.
- W2462214458 magId "2462214458" @default.
- W2462214458 workType "article" @default.