Matches in SemOpenAlex for { <https://semopenalex.org/work/W2265513027> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2265513027 abstract "In the present paper, the concepts of characters as well as the least characters for LTL (Linear Temporal Logic) formulae are introduced. It is pointed out that those LTL formulae with characters can always be checked within finite steps during model checking even in some cases when the underlying transition system contains infinite states. What is more, the class of LTL formulae with characters can be characterized by full LTLn, the bounded case for LTL. Meanwhile, two types of temporal normal form for LTL formulae are proposed. A necessary and sufficient condition is given in which an LTL formula has an equivalent formula in temporal normal form." @default.
- W2265513027 created "2016-06-24" @default.
- W2265513027 creator A5067652312 @default.
- W2265513027 creator A5076459381 @default.
- W2265513027 date "2016-03-01" @default.
- W2265513027 modified "2023-09-27" @default.
- W2265513027 title "Temporal normal form for Linear Temporal Logic formulae1" @default.
- W2265513027 cites W120333500 @default.
- W2265513027 cites W2016079941 @default.
- W2265513027 cites W2048959899 @default.
- W2265513027 cites W2059470663 @default.
- W2265513027 cites W2062934926 @default.
- W2265513027 cites W2132170793 @default.
- W2265513027 cites W2963787308 @default.
- W2265513027 cites W4211144022 @default.
- W2265513027 cites W4244847755 @default.
- W2265513027 cites W4251228600 @default.
- W2265513027 cites W654277524 @default.
- W2265513027 doi "https://doi.org/10.3233/ifs-151874" @default.
- W2265513027 hasPublicationYear "2016" @default.
- W2265513027 type Work @default.
- W2265513027 sameAs 2265513027 @default.
- W2265513027 citedByCount "0" @default.
- W2265513027 crossrefType "journal-article" @default.
- W2265513027 hasAuthorship W2265513027A5067652312 @default.
- W2265513027 hasAuthorship W2265513027A5076459381 @default.
- W2265513027 hasConcept C11413529 @default.
- W2265513027 hasConcept C134306372 @default.
- W2265513027 hasConcept C154945302 @default.
- W2265513027 hasConcept C162670838 @default.
- W2265513027 hasConcept C202444582 @default.
- W2265513027 hasConcept C25016198 @default.
- W2265513027 hasConcept C2777212361 @default.
- W2265513027 hasConcept C33923547 @default.
- W2265513027 hasConcept C34388435 @default.
- W2265513027 hasConcept C41008148 @default.
- W2265513027 hasConcept C4777664 @default.
- W2265513027 hasConcept C80444323 @default.
- W2265513027 hasConceptScore W2265513027C11413529 @default.
- W2265513027 hasConceptScore W2265513027C134306372 @default.
- W2265513027 hasConceptScore W2265513027C154945302 @default.
- W2265513027 hasConceptScore W2265513027C162670838 @default.
- W2265513027 hasConceptScore W2265513027C202444582 @default.
- W2265513027 hasConceptScore W2265513027C25016198 @default.
- W2265513027 hasConceptScore W2265513027C2777212361 @default.
- W2265513027 hasConceptScore W2265513027C33923547 @default.
- W2265513027 hasConceptScore W2265513027C34388435 @default.
- W2265513027 hasConceptScore W2265513027C41008148 @default.
- W2265513027 hasConceptScore W2265513027C4777664 @default.
- W2265513027 hasConceptScore W2265513027C80444323 @default.
- W2265513027 hasLocation W22655130271 @default.
- W2265513027 hasOpenAccess W2265513027 @default.
- W2265513027 hasPrimaryLocation W22655130271 @default.
- W2265513027 hasRelatedWork W1513400763 @default.
- W2265513027 hasRelatedWork W1963127161 @default.
- W2265513027 hasRelatedWork W1977092240 @default.
- W2265513027 hasRelatedWork W2089585942 @default.
- W2265513027 hasRelatedWork W2137725128 @default.
- W2265513027 hasRelatedWork W2160423234 @default.
- W2265513027 hasRelatedWork W2162230135 @default.
- W2265513027 hasRelatedWork W2167135424 @default.
- W2265513027 hasRelatedWork W2183366579 @default.
- W2265513027 hasRelatedWork W2189598663 @default.
- W2265513027 hasRelatedWork W2291769152 @default.
- W2265513027 hasRelatedWork W2401071683 @default.
- W2265513027 hasRelatedWork W2523467757 @default.
- W2265513027 hasRelatedWork W2600221469 @default.
- W2265513027 hasRelatedWork W2778601460 @default.
- W2265513027 hasRelatedWork W2949320982 @default.
- W2265513027 hasRelatedWork W2955530792 @default.
- W2265513027 hasRelatedWork W3148855524 @default.
- W2265513027 hasRelatedWork W6462357 @default.
- W2265513027 hasRelatedWork W69975942 @default.
- W2265513027 isParatext "false" @default.
- W2265513027 isRetracted "false" @default.
- W2265513027 magId "2265513027" @default.
- W2265513027 workType "article" @default.