Matches in SemOpenAlex for { <https://semopenalex.org/work/W3039694889> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W3039694889 abstract "Linear Temporal Logic (LTL) interpreted on finite traces is a robust specification framework popular in formal verification. However, despite the high interest in the logic in recent years, the topic of their quantitative extensions is not yet fully explored. The main goal of this work is to study the effect of adding weak forms of percentage constraints (e.g. that most of the positions in the past satisfy a given condition, or that sigma is the most-frequent letter occurring in the past) to fragments of LTL. Such extensions could potentially be used for the verification of influence networks or statistical reasoning. Unfortunately, as we prove in the paper, it turns out that percentage extensions of even tiny fragments of LTL have undecidable satisfiability and model-checking problems. Our undecidability proofs not only sharpen most of the undecidability results on logics with arithmetics interpreted on words known from the literature, but also are fairly simple. We also show that the undecidability can be avoided by restricting the allowed usage of the negation, and briefly discuss how the undecidability results transfer to first-order logic on words." @default.
- W3039694889 created "2020-07-10" @default.
- W3039694889 creator A5015610041 @default.
- W3039694889 creator A5054499021 @default.
- W3039694889 date "2021-03-27" @default.
- W3039694889 modified "2023-09-23" @default.
- W3039694889 title "Most of' leads to undecidability: Failure of adding frequencies to LTL" @default.
- W3039694889 cites W100193447 @default.
- W3039694889 cites W1551851178 @default.
- W3039694889 cites W1611617456 @default.
- W3039694889 cites W1612395604 @default.
- W3039694889 cites W1700264732 @default.
- W3039694889 cites W1848921964 @default.
- W3039694889 cites W2022782983 @default.
- W3039694889 cites W2023808162 @default.
- W3039694889 cites W2058566227 @default.
- W3039694889 cites W2077520193 @default.
- W3039694889 cites W2131159347 @default.
- W3039694889 cites W2131742729 @default.
- W3039694889 cites W2139891885 @default.
- W3039694889 cites W2144337654 @default.
- W3039694889 cites W2152132130 @default.
- W3039694889 cites W2160029445 @default.
- W3039694889 cites W2278869178 @default.
- W3039694889 cites W2284512813 @default.
- W3039694889 cites W2294184790 @default.
- W3039694889 cites W2395971084 @default.
- W3039694889 cites W2739419269 @default.
- W3039694889 cites W29365316 @default.
- W3039694889 cites W2963079949 @default.
- W3039694889 doi "https://doi.org/10.26226/morressier.604907f41a80aac83ca25cbe" @default.
- W3039694889 hasPublicationYear "2021" @default.
- W3039694889 type Work @default.
- W3039694889 sameAs 3039694889 @default.
- W3039694889 citedByCount "0" @default.
- W3039694889 crossrefType "posted-content" @default.
- W3039694889 hasAuthorship W3039694889A5015610041 @default.
- W3039694889 hasAuthorship W3039694889A5054499021 @default.
- W3039694889 hasBestOaLocation W30396948892 @default.
- W3039694889 hasConcept C33923547 @default.
- W3039694889 hasConcept C41008148 @default.
- W3039694889 hasConceptScore W3039694889C33923547 @default.
- W3039694889 hasConceptScore W3039694889C41008148 @default.
- W3039694889 hasLocation W30396948891 @default.
- W3039694889 hasLocation W30396948892 @default.
- W3039694889 hasOpenAccess W3039694889 @default.
- W3039694889 hasPrimaryLocation W30396948891 @default.
- W3039694889 hasRelatedWork W1974891317 @default.
- W3039694889 hasRelatedWork W1979597421 @default.
- W3039694889 hasRelatedWork W2007980826 @default.
- W3039694889 hasRelatedWork W2061531152 @default.
- W3039694889 hasRelatedWork W2069964982 @default.
- W3039694889 hasRelatedWork W2748952813 @default.
- W3039694889 hasRelatedWork W2899084033 @default.
- W3039694889 hasRelatedWork W3002753104 @default.
- W3039694889 hasRelatedWork W4225152035 @default.
- W3039694889 hasRelatedWork W4245490552 @default.
- W3039694889 isParatext "false" @default.
- W3039694889 isRetracted "false" @default.
- W3039694889 magId "3039694889" @default.
- W3039694889 workType "article" @default.