Matches in SemOpenAlex for { <https://semopenalex.org/work/W58948312> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W58948312 endingPage "133" @default.
- W58948312 startingPage "119" @default.
- W58948312 abstract "AbstractWe address the problem of model checking temporal formulas with Until and Since over general linear time. General linear time allows us to go beyond discrete natural numbers time and consider temporal models with continuous properties for applications such as distributed systems and message passing, and to even more unrestricted contexts thrown up by natural language semantics and AI modelling of human reasoning. We use a recently formalised compositional language that is capable of describing models of any satisfiable formula. Given a model described in this model expression language and a temporal logic formula, the algorithm decides whether the formula is satisfied in the model. As for standard natural-numbers time model checkers, the computational time required by the algorithm is linear in the size of the model expression. We illustrate this result briefly with some examples including a system that needs to interact with a environment exhibiting Zeno behaviours." @default.
- W58948312 created "2016-06-24" @default.
- W58948312 creator A5016050623 @default.
- W58948312 creator A5030763134 @default.
- W58948312 creator A5036930915 @default.
- W58948312 date "2013-01-01" @default.
- W58948312 modified "2023-09-26" @default.
- W58948312 title "Model Checking General Linear Temporal Logic" @default.
- W58948312 cites W1534222225 @default.
- W58948312 cites W1580868918 @default.
- W58948312 cites W1590867423 @default.
- W58948312 cites W1990865424 @default.
- W58948312 cites W2022551103 @default.
- W58948312 cites W2023808162 @default.
- W58948312 cites W2031528374 @default.
- W58948312 cites W2157319504 @default.
- W58948312 cites W2171225173 @default.
- W58948312 cites W2500464914 @default.
- W58948312 cites W37645454 @default.
- W58948312 cites W59365162 @default.
- W58948312 doi "https://doi.org/10.1007/978-3-642-40537-2_12" @default.
- W58948312 hasPublicationYear "2013" @default.
- W58948312 type Work @default.
- W58948312 sameAs 58948312 @default.
- W58948312 citedByCount "5" @default.
- W58948312 countsByYear W589483122013 @default.
- W58948312 countsByYear W589483122016 @default.
- W58948312 countsByYear W589483122021 @default.
- W58948312 crossrefType "book-chapter" @default.
- W58948312 hasAuthorship W58948312A5016050623 @default.
- W58948312 hasAuthorship W58948312A5030763134 @default.
- W58948312 hasAuthorship W58948312A5036930915 @default.
- W58948312 hasConcept C110251889 @default.
- W58948312 hasConcept C11413529 @default.
- W58948312 hasConcept C154945302 @default.
- W58948312 hasConcept C184337299 @default.
- W58948312 hasConcept C195324797 @default.
- W58948312 hasConcept C199360897 @default.
- W58948312 hasConcept C25016198 @default.
- W58948312 hasConcept C2524010 @default.
- W58948312 hasConcept C28077239 @default.
- W58948312 hasConcept C311688 @default.
- W58948312 hasConcept C33923547 @default.
- W58948312 hasConcept C41008148 @default.
- W58948312 hasConcept C4777664 @default.
- W58948312 hasConcept C7707877 @default.
- W58948312 hasConcept C80444323 @default.
- W58948312 hasConcept C90559484 @default.
- W58948312 hasConceptScore W58948312C110251889 @default.
- W58948312 hasConceptScore W58948312C11413529 @default.
- W58948312 hasConceptScore W58948312C154945302 @default.
- W58948312 hasConceptScore W58948312C184337299 @default.
- W58948312 hasConceptScore W58948312C195324797 @default.
- W58948312 hasConceptScore W58948312C199360897 @default.
- W58948312 hasConceptScore W58948312C25016198 @default.
- W58948312 hasConceptScore W58948312C2524010 @default.
- W58948312 hasConceptScore W58948312C28077239 @default.
- W58948312 hasConceptScore W58948312C311688 @default.
- W58948312 hasConceptScore W58948312C33923547 @default.
- W58948312 hasConceptScore W58948312C41008148 @default.
- W58948312 hasConceptScore W58948312C4777664 @default.
- W58948312 hasConceptScore W58948312C7707877 @default.
- W58948312 hasConceptScore W58948312C80444323 @default.
- W58948312 hasConceptScore W58948312C90559484 @default.
- W58948312 hasLocation W589483121 @default.
- W58948312 hasOpenAccess W58948312 @default.
- W58948312 hasPrimaryLocation W589483121 @default.
- W58948312 hasRelatedWork W1509545351 @default.
- W58948312 hasRelatedWork W1518436864 @default.
- W58948312 hasRelatedWork W1540001753 @default.
- W58948312 hasRelatedWork W1551070491 @default.
- W58948312 hasRelatedWork W1583251282 @default.
- W58948312 hasRelatedWork W1595588845 @default.
- W58948312 hasRelatedWork W1606603558 @default.
- W58948312 hasRelatedWork W1975657455 @default.
- W58948312 hasRelatedWork W2003378122 @default.
- W58948312 hasRelatedWork W2013878945 @default.
- W58948312 hasRelatedWork W2020617153 @default.
- W58948312 hasRelatedWork W2048905609 @default.
- W58948312 hasRelatedWork W2061236786 @default.
- W58948312 hasRelatedWork W2065896142 @default.
- W58948312 hasRelatedWork W2142853014 @default.
- W58948312 hasRelatedWork W2337119313 @default.
- W58948312 hasRelatedWork W2390661617 @default.
- W58948312 hasRelatedWork W2804015072 @default.
- W58948312 hasRelatedWork W2952938415 @default.
- W58948312 hasRelatedWork W3157619182 @default.
- W58948312 isParatext "false" @default.
- W58948312 isRetracted "false" @default.
- W58948312 magId "58948312" @default.
- W58948312 workType "book-chapter" @default.