Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580868377> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1580868377 endingPage "406" @default.
- W1580868377 startingPage "394" @default.
- W1580868377 abstract "Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tableau constructions are algorithms that translate a temporal logic formula into a finite-state automaton that accepts precisely all the models of the formula. On-the-fly versions of tableau-constructions enable their practical application for model-checking. In a previous paper we presented an on-the-fly tableaux construction for a fragment of Metric Interval Temporal Logic in dense time. The interpretation of the logic was constrained to a special kind of timed state sequences, with intervals that are always left-closed and right-open. In this paper we present a non-trivial extension to this tableau construction for the same logic fragment, that lifts this constraint." @default.
- W1580868377 created "2016-06-24" @default.
- W1580868377 creator A5063550119 @default.
- W1580868377 date "2003-01-01" @default.
- W1580868377 modified "2023-09-25" @default.
- W1580868377 title "An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic" @default.
- W1580868377 cites W143291542 @default.
- W1580868377 cites W1516806823 @default.
- W1580868377 cites W1521364045 @default.
- W1580868377 cites W1848324794 @default.
- W1580868377 cites W2000947342 @default.
- W1580868377 cites W2049696538 @default.
- W1580868377 cites W2090398333 @default.
- W1580868377 cites W2101508170 @default.
- W1580868377 cites W2149320266 @default.
- W1580868377 doi "https://doi.org/10.1007/978-3-540-45069-6_37" @default.
- W1580868377 hasPublicationYear "2003" @default.
- W1580868377 type Work @default.
- W1580868377 sameAs 1580868377 @default.
- W1580868377 citedByCount "12" @default.
- W1580868377 countsByYear W15808683772012 @default.
- W1580868377 countsByYear W15808683772013 @default.
- W1580868377 countsByYear W15808683772014 @default.
- W1580868377 countsByYear W15808683772015 @default.
- W1580868377 countsByYear W15808683772016 @default.
- W1580868377 crossrefType "book-chapter" @default.
- W1580868377 hasAuthorship W1580868377A5063550119 @default.
- W1580868377 hasBestOaLocation W15808683771 @default.
- W1580868377 hasConcept C111919701 @default.
- W1580868377 hasConcept C112505250 @default.
- W1580868377 hasConcept C11413529 @default.
- W1580868377 hasConcept C114614502 @default.
- W1580868377 hasConcept C121332964 @default.
- W1580868377 hasConcept C162670838 @default.
- W1580868377 hasConcept C165801399 @default.
- W1580868377 hasConcept C172385210 @default.
- W1580868377 hasConcept C198008173 @default.
- W1580868377 hasConcept C199360897 @default.
- W1580868377 hasConcept C25016198 @default.
- W1580868377 hasConcept C2776235265 @default.
- W1580868377 hasConcept C2777796570 @default.
- W1580868377 hasConcept C2778029271 @default.
- W1580868377 hasConcept C2778067643 @default.
- W1580868377 hasConcept C2781020372 @default.
- W1580868377 hasConcept C33923547 @default.
- W1580868377 hasConcept C41008148 @default.
- W1580868377 hasConcept C4777664 @default.
- W1580868377 hasConcept C48103436 @default.
- W1580868377 hasConcept C527412718 @default.
- W1580868377 hasConcept C55439883 @default.
- W1580868377 hasConcept C62520636 @default.
- W1580868377 hasConcept C80444323 @default.
- W1580868377 hasConceptScore W1580868377C111919701 @default.
- W1580868377 hasConceptScore W1580868377C112505250 @default.
- W1580868377 hasConceptScore W1580868377C11413529 @default.
- W1580868377 hasConceptScore W1580868377C114614502 @default.
- W1580868377 hasConceptScore W1580868377C121332964 @default.
- W1580868377 hasConceptScore W1580868377C162670838 @default.
- W1580868377 hasConceptScore W1580868377C165801399 @default.
- W1580868377 hasConceptScore W1580868377C172385210 @default.
- W1580868377 hasConceptScore W1580868377C198008173 @default.
- W1580868377 hasConceptScore W1580868377C199360897 @default.
- W1580868377 hasConceptScore W1580868377C25016198 @default.
- W1580868377 hasConceptScore W1580868377C2776235265 @default.
- W1580868377 hasConceptScore W1580868377C2777796570 @default.
- W1580868377 hasConceptScore W1580868377C2778029271 @default.
- W1580868377 hasConceptScore W1580868377C2778067643 @default.
- W1580868377 hasConceptScore W1580868377C2781020372 @default.
- W1580868377 hasConceptScore W1580868377C33923547 @default.
- W1580868377 hasConceptScore W1580868377C41008148 @default.
- W1580868377 hasConceptScore W1580868377C4777664 @default.
- W1580868377 hasConceptScore W1580868377C48103436 @default.
- W1580868377 hasConceptScore W1580868377C527412718 @default.
- W1580868377 hasConceptScore W1580868377C55439883 @default.
- W1580868377 hasConceptScore W1580868377C62520636 @default.
- W1580868377 hasConceptScore W1580868377C80444323 @default.
- W1580868377 hasLocation W15808683771 @default.
- W1580868377 hasOpenAccess W1580868377 @default.
- W1580868377 hasPrimaryLocation W15808683771 @default.
- W1580868377 hasRelatedWork W1546948343 @default.
- W1580868377 hasRelatedWork W1816240867 @default.
- W1580868377 hasRelatedWork W2006321431 @default.
- W1580868377 hasRelatedWork W2051068608 @default.
- W1580868377 hasRelatedWork W2072341009 @default.
- W1580868377 hasRelatedWork W2110468917 @default.
- W1580868377 hasRelatedWork W2114609077 @default.
- W1580868377 hasRelatedWork W2395144056 @default.
- W1580868377 hasRelatedWork W2782719117 @default.
- W1580868377 hasRelatedWork W2945657871 @default.
- W1580868377 isParatext "false" @default.
- W1580868377 isRetracted "false" @default.
- W1580868377 magId "1580868377" @default.
- W1580868377 workType "book-chapter" @default.