Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100189958> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3100189958 endingPage "21" @default.
- W3100189958 startingPage "1" @default.
- W3100189958 abstract "Freeze LTL is a temporal logic with registers that is suitable for specifyingproperties of data words. In this paper we study the model checking problem forFreeze LTL on one-counter automata. This problem is known to be undecidable ingeneral and PSPACE-complete for the special case of deterministic one-counterautomata. Several years ago, Demri and Sangnier investigated the model checkingproblem for the flat fragment of Freeze LTL on several classes of counterautomata and posed the decidability of model checking flat Freeze LTL onone-counter automata as an open problem. In this paper we resolve this problempositively, utilising a known reduction to a reachability problem onone-counter automata with parameterised equality and disequality tests. Ourmain technical contribution is to show decidability of the latter problem bytranslation to Presburger arithmetic." @default.
- W3100189958 created "2020-11-23" @default.
- W3100189958 creator A5045412407 @default.
- W3100189958 creator A5068165188 @default.
- W3100189958 creator A5072231785 @default.
- W3100189958 creator A5072806743 @default.
- W3100189958 creator A5082358544 @default.
- W3100189958 date "2018-12-07" @default.
- W3100189958 modified "2023-09-23" @default.
- W3100189958 title "Model Checking Flat Freeze LTL on One-Counter Automata" @default.
- W3100189958 cites W1532209667 @default.
- W3100189958 cites W1542921761 @default.
- W3100189958 cites W1602384540 @default.
- W3100189958 cites W1738870074 @default.
- W3100189958 cites W1855380557 @default.
- W3100189958 cites W203022780 @default.
- W3100189958 cites W2111714843 @default.
- W3100189958 cites W2163483558 @default.
- W3100189958 cites W2167907675 @default.
- W3100189958 cites W2952380278 @default.
- W3100189958 hasPublicationYear "2018" @default.
- W3100189958 type Work @default.
- W3100189958 sameAs 3100189958 @default.
- W3100189958 citedByCount "1" @default.
- W3100189958 countsByYear W31001899582017 @default.
- W3100189958 crossrefType "journal-article" @default.
- W3100189958 hasAuthorship W3100189958A5045412407 @default.
- W3100189958 hasAuthorship W3100189958A5068165188 @default.
- W3100189958 hasAuthorship W3100189958A5072231785 @default.
- W3100189958 hasAuthorship W3100189958A5072806743 @default.
- W3100189958 hasAuthorship W3100189958A5082358544 @default.
- W3100189958 hasConcept C110251889 @default.
- W3100189958 hasConcept C112505250 @default.
- W3100189958 hasConcept C11413529 @default.
- W3100189958 hasConcept C118615104 @default.
- W3100189958 hasConcept C136643341 @default.
- W3100189958 hasConcept C153269930 @default.
- W3100189958 hasConcept C165753454 @default.
- W3100189958 hasConcept C192034797 @default.
- W3100189958 hasConcept C194525867 @default.
- W3100189958 hasConcept C25016198 @default.
- W3100189958 hasConcept C2776235265 @default.
- W3100189958 hasConcept C2777669093 @default.
- W3100189958 hasConcept C33923547 @default.
- W3100189958 hasConcept C41008148 @default.
- W3100189958 hasConcept C4777664 @default.
- W3100189958 hasConcept C5852641 @default.
- W3100189958 hasConcept C80444323 @default.
- W3100189958 hasConceptScore W3100189958C110251889 @default.
- W3100189958 hasConceptScore W3100189958C112505250 @default.
- W3100189958 hasConceptScore W3100189958C11413529 @default.
- W3100189958 hasConceptScore W3100189958C118615104 @default.
- W3100189958 hasConceptScore W3100189958C136643341 @default.
- W3100189958 hasConceptScore W3100189958C153269930 @default.
- W3100189958 hasConceptScore W3100189958C165753454 @default.
- W3100189958 hasConceptScore W3100189958C192034797 @default.
- W3100189958 hasConceptScore W3100189958C194525867 @default.
- W3100189958 hasConceptScore W3100189958C25016198 @default.
- W3100189958 hasConceptScore W3100189958C2776235265 @default.
- W3100189958 hasConceptScore W3100189958C2777669093 @default.
- W3100189958 hasConceptScore W3100189958C33923547 @default.
- W3100189958 hasConceptScore W3100189958C41008148 @default.
- W3100189958 hasConceptScore W3100189958C4777664 @default.
- W3100189958 hasConceptScore W3100189958C5852641 @default.
- W3100189958 hasConceptScore W3100189958C80444323 @default.
- W3100189958 hasIssue "4" @default.
- W3100189958 hasOpenAccess W3100189958 @default.
- W3100189958 hasRelatedWork W1484998667 @default.
- W3100189958 hasRelatedWork W1592306554 @default.
- W3100189958 hasRelatedWork W1738870074 @default.
- W3100189958 hasRelatedWork W1816892670 @default.
- W3100189958 hasRelatedWork W1977166502 @default.
- W3100189958 hasRelatedWork W2036684363 @default.
- W3100189958 hasRelatedWork W20458949 @default.
- W3100189958 hasRelatedWork W2103800897 @default.
- W3100189958 hasRelatedWork W2105618388 @default.
- W3100189958 hasRelatedWork W2165282416 @default.
- W3100189958 hasRelatedWork W2354457832 @default.
- W3100189958 hasRelatedWork W2386489222 @default.
- W3100189958 hasRelatedWork W2412054726 @default.
- W3100189958 hasRelatedWork W2744368680 @default.
- W3100189958 hasRelatedWork W2753796405 @default.
- W3100189958 hasRelatedWork W2767756541 @default.
- W3100189958 hasRelatedWork W2796990656 @default.
- W3100189958 hasRelatedWork W2977475043 @default.
- W3100189958 hasRelatedWork W3093747400 @default.
- W3100189958 hasRelatedWork W821240578 @default.
- W3100189958 hasVolume "14" @default.
- W3100189958 isParatext "false" @default.
- W3100189958 isRetracted "false" @default.
- W3100189958 magId "3100189958" @default.
- W3100189958 workType "article" @default.