Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951237140> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2951237140 abstract "The computation of the winning set for one-pair Streett objectives and for k-pair Streett objectives in (standard) graphs as well as in game graphs are central problems in computer-aided verification, with application to the verification of open systems, checking interface compatibility, well-formedness of specifications, the synthesis of systems from specifications, and the synthesis of reactive systems. We give faster algorithms for the computation of the winning set for (1) one-pair Streett objectives (aka parity-3 problem) in game graphs and (2) for k-pair Streett objectives in graphs. For both problems this represents the first improvement in asymptotic running time in 15 years." @default.
- W2951237140 created "2019-06-27" @default.
- W2951237140 creator A5003641345 @default.
- W2951237140 creator A5052607806 @default.
- W2951237140 creator A5090007230 @default.
- W2951237140 date "2014-10-03" @default.
- W2951237140 modified "2023-10-07" @default.
- W2951237140 title "Improved Algorithms for One-Pair and k-Pair Streett Objectives" @default.
- W2951237140 hasPublicationYear "2014" @default.
- W2951237140 type Work @default.
- W2951237140 sameAs 2951237140 @default.
- W2951237140 citedByCount "1" @default.
- W2951237140 countsByYear W29512371402014 @default.
- W2951237140 crossrefType "posted-content" @default.
- W2951237140 hasAuthorship W2951237140A5003641345 @default.
- W2951237140 hasAuthorship W2951237140A5052607806 @default.
- W2951237140 hasAuthorship W2951237140A5090007230 @default.
- W2951237140 hasConcept C11413529 @default.
- W2951237140 hasConcept C121158502 @default.
- W2951237140 hasConcept C161191863 @default.
- W2951237140 hasConcept C177264268 @default.
- W2951237140 hasConcept C199360897 @default.
- W2951237140 hasConcept C41008148 @default.
- W2951237140 hasConcept C45374587 @default.
- W2951237140 hasConcept C80444323 @default.
- W2951237140 hasConceptScore W2951237140C11413529 @default.
- W2951237140 hasConceptScore W2951237140C121158502 @default.
- W2951237140 hasConceptScore W2951237140C161191863 @default.
- W2951237140 hasConceptScore W2951237140C177264268 @default.
- W2951237140 hasConceptScore W2951237140C199360897 @default.
- W2951237140 hasConceptScore W2951237140C41008148 @default.
- W2951237140 hasConceptScore W2951237140C45374587 @default.
- W2951237140 hasConceptScore W2951237140C80444323 @default.
- W2951237140 hasLocation W29512371401 @default.
- W2951237140 hasOpenAccess W2951237140 @default.
- W2951237140 hasPrimaryLocation W29512371401 @default.
- W2951237140 hasRelatedWork W1482133132 @default.
- W2951237140 hasRelatedWork W1500570502 @default.
- W2951237140 hasRelatedWork W1504637184 @default.
- W2951237140 hasRelatedWork W1517566730 @default.
- W2951237140 hasRelatedWork W1547250115 @default.
- W2951237140 hasRelatedWork W1571363926 @default.
- W2951237140 hasRelatedWork W1581350600 @default.
- W2951237140 hasRelatedWork W1591658570 @default.
- W2951237140 hasRelatedWork W1599820175 @default.
- W2951237140 hasRelatedWork W1603302942 @default.
- W2951237140 hasRelatedWork W1783983058 @default.
- W2951237140 hasRelatedWork W2012935476 @default.
- W2951237140 hasRelatedWork W2051161818 @default.
- W2951237140 hasRelatedWork W2102369166 @default.
- W2951237140 hasRelatedWork W2150539434 @default.
- W2951237140 hasRelatedWork W2570580532 @default.
- W2951237140 hasRelatedWork W2803173746 @default.
- W2951237140 hasRelatedWork W2947270224 @default.
- W2951237140 hasRelatedWork W3141621133 @default.
- W2951237140 hasRelatedWork W3200927333 @default.
- W2951237140 isParatext "false" @default.
- W2951237140 isRetracted "false" @default.
- W2951237140 magId "2951237140" @default.
- W2951237140 workType "article" @default.