Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982656534> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2982656534 abstract "We study the satisfiability and model-checking problems for timed hyperproperties specified with HyperMTL, a timed extension of HyperLTL. Depending on whether interleaving of events in different traces is allowed, two possible semantics can be defined for timed hyperproperties: synchronous and asynchronous. While the satisfiability problem can be decided similarly as for HyperLTL regardless of the choice of semantics, we show that the model-checking problem for HyperMTL, unless the specification is alternation-free, is undecidable even when very restricted timing constraints are allowed. On the positive side, we show that model checking HyperMTL with quantifier alternations is possible under certain conditions in the synchronous semantics, or when there is a fixed bound on the length of the time domain." @default.
- W2982656534 created "2019-11-08" @default.
- W2982656534 creator A5042675306 @default.
- W2982656534 creator A5047443783 @default.
- W2982656534 creator A5067815428 @default.
- W2982656534 date "2019-08-21" @default.
- W2982656534 modified "2023-09-27" @default.
- W2982656534 title "On verifying timed hyperproperties" @default.
- W2982656534 doi "https://doi.org/10.4230/lipics.time.2019.20" @default.
- W2982656534 hasPublicationYear "2019" @default.
- W2982656534 type Work @default.
- W2982656534 sameAs 2982656534 @default.
- W2982656534 citedByCount "1" @default.
- W2982656534 countsByYear W29826565342022 @default.
- W2982656534 crossrefType "book-chapter" @default.
- W2982656534 hasAuthorship W2982656534A5042675306 @default.
- W2982656534 hasAuthorship W2982656534A5047443783 @default.
- W2982656534 hasAuthorship W2982656534A5067815428 @default.
- W2982656534 hasConcept C110251889 @default.
- W2982656534 hasConcept C111919701 @default.
- W2982656534 hasConcept C11413529 @default.
- W2982656534 hasConcept C151319957 @default.
- W2982656534 hasConcept C153269930 @default.
- W2982656534 hasConcept C154945302 @default.
- W2982656534 hasConcept C168773769 @default.
- W2982656534 hasConcept C184337299 @default.
- W2982656534 hasConcept C192034797 @default.
- W2982656534 hasConcept C199360897 @default.
- W2982656534 hasConcept C2778029271 @default.
- W2982656534 hasConcept C2778523021 @default.
- W2982656534 hasConcept C28034677 @default.
- W2982656534 hasConcept C31258907 @default.
- W2982656534 hasConcept C41008148 @default.
- W2982656534 hasConcept C6943359 @default.
- W2982656534 hasConcept C80444323 @default.
- W2982656534 hasConceptScore W2982656534C110251889 @default.
- W2982656534 hasConceptScore W2982656534C111919701 @default.
- W2982656534 hasConceptScore W2982656534C11413529 @default.
- W2982656534 hasConceptScore W2982656534C151319957 @default.
- W2982656534 hasConceptScore W2982656534C153269930 @default.
- W2982656534 hasConceptScore W2982656534C154945302 @default.
- W2982656534 hasConceptScore W2982656534C168773769 @default.
- W2982656534 hasConceptScore W2982656534C184337299 @default.
- W2982656534 hasConceptScore W2982656534C192034797 @default.
- W2982656534 hasConceptScore W2982656534C199360897 @default.
- W2982656534 hasConceptScore W2982656534C2778029271 @default.
- W2982656534 hasConceptScore W2982656534C2778523021 @default.
- W2982656534 hasConceptScore W2982656534C28034677 @default.
- W2982656534 hasConceptScore W2982656534C31258907 @default.
- W2982656534 hasConceptScore W2982656534C41008148 @default.
- W2982656534 hasConceptScore W2982656534C6943359 @default.
- W2982656534 hasConceptScore W2982656534C80444323 @default.
- W2982656534 hasIssue "147" @default.
- W2982656534 hasLocation W29826565341 @default.
- W2982656534 hasOpenAccess W2982656534 @default.
- W2982656534 hasPrimaryLocation W29826565341 @default.
- W2982656534 hasRelatedWork W1492412487 @default.
- W2982656534 hasRelatedWork W1496335728 @default.
- W2982656534 hasRelatedWork W1730082949 @default.
- W2982656534 hasRelatedWork W1785651314 @default.
- W2982656534 hasRelatedWork W1975997547 @default.
- W2982656534 hasRelatedWork W1992189872 @default.
- W2982656534 hasRelatedWork W2045909926 @default.
- W2982656534 hasRelatedWork W2109489765 @default.
- W2982656534 hasRelatedWork W2196692106 @default.
- W2982656534 hasRelatedWork W2463591852 @default.
- W2982656534 hasRelatedWork W2504709358 @default.
- W2982656534 hasRelatedWork W267491497 @default.
- W2982656534 hasRelatedWork W2887835352 @default.
- W2982656534 hasRelatedWork W2950207863 @default.
- W2982656534 hasRelatedWork W2990466717 @default.
- W2982656534 hasRelatedWork W3019181545 @default.
- W2982656534 hasRelatedWork W3021820032 @default.
- W2982656534 hasRelatedWork W41344992 @default.
- W2982656534 hasRelatedWork W2149121315 @default.
- W2982656534 hasRelatedWork W3100372325 @default.
- W2982656534 isParatext "false" @default.
- W2982656534 isRetracted "false" @default.
- W2982656534 magId "2982656534" @default.
- W2982656534 workType "book-chapter" @default.