Matches in SemOpenAlex for { <https://semopenalex.org/work/W79210254> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W79210254 abstract "Recently, IC3 has been presented as a new algorithm for formal verification. Based on incremental induction, it is often much faster compared to otherwise used fixpoint-based model checking algorithms. In this paper, we use the idea of incremental induction for solving two-player concurrent games. While formal verification requires to prove that a given system satisfies a given specification, game solving aims at automatically synthesizing a system to satisfy the specification. This involves both universal (player 1) and existential quantification (player 2) over the formulas that represent state transitions. Hence, algorithms for solving games are usually implemented with BDD packages that offer both kinds of quantification. In this paper, we show how to compute a solution of games by using incremental induction." @default.
- W79210254 created "2016-06-24" @default.
- W79210254 creator A5018475180 @default.
- W79210254 creator A5047323134 @default.
- W79210254 creator A5081184867 @default.
- W79210254 date "2013-01-01" @default.
- W79210254 modified "2023-10-14" @default.
- W79210254 title "Solving Games Using Incremental Induction" @default.
- W79210254 cites W147950966 @default.
- W79210254 cites W1499119186 @default.
- W79210254 cites W1510368738 @default.
- W79210254 cites W1568412951 @default.
- W79210254 cites W1570601698 @default.
- W79210254 cites W1609729953 @default.
- W79210254 cites W162318746 @default.
- W79210254 cites W1787074469 @default.
- W79210254 cites W1820309519 @default.
- W79210254 cites W2111299652 @default.
- W79210254 cites W2113511408 @default.
- W79210254 cites W3138459719 @default.
- W79210254 cites W4253380258 @default.
- W79210254 doi "https://doi.org/10.1007/978-3-642-38613-8_13" @default.
- W79210254 hasPublicationYear "2013" @default.
- W79210254 type Work @default.
- W79210254 sameAs 79210254 @default.
- W79210254 citedByCount "21" @default.
- W79210254 countsByYear W792102542013 @default.
- W79210254 countsByYear W792102542014 @default.
- W79210254 countsByYear W792102542015 @default.
- W79210254 countsByYear W792102542016 @default.
- W79210254 countsByYear W792102542020 @default.
- W79210254 countsByYear W792102542021 @default.
- W79210254 crossrefType "book-chapter" @default.
- W79210254 hasAuthorship W79210254A5018475180 @default.
- W79210254 hasAuthorship W79210254A5047323134 @default.
- W79210254 hasAuthorship W79210254A5081184867 @default.
- W79210254 hasBestOaLocation W792102542 @default.
- W79210254 hasConcept C110251889 @default.
- W79210254 hasConcept C111498074 @default.
- W79210254 hasConcept C11413529 @default.
- W79210254 hasConcept C199360897 @default.
- W79210254 hasConcept C206743973 @default.
- W79210254 hasConcept C2524010 @default.
- W79210254 hasConcept C33923547 @default.
- W79210254 hasConcept C41008148 @default.
- W79210254 hasConcept C48103436 @default.
- W79210254 hasConcept C75606506 @default.
- W79210254 hasConcept C80444323 @default.
- W79210254 hasConceptScore W79210254C110251889 @default.
- W79210254 hasConceptScore W79210254C111498074 @default.
- W79210254 hasConceptScore W79210254C11413529 @default.
- W79210254 hasConceptScore W79210254C199360897 @default.
- W79210254 hasConceptScore W79210254C206743973 @default.
- W79210254 hasConceptScore W79210254C2524010 @default.
- W79210254 hasConceptScore W79210254C33923547 @default.
- W79210254 hasConceptScore W79210254C41008148 @default.
- W79210254 hasConceptScore W79210254C48103436 @default.
- W79210254 hasConceptScore W79210254C75606506 @default.
- W79210254 hasConceptScore W79210254C80444323 @default.
- W79210254 hasLocation W792102541 @default.
- W79210254 hasLocation W792102542 @default.
- W79210254 hasOpenAccess W79210254 @default.
- W79210254 hasPrimaryLocation W792102541 @default.
- W79210254 hasRelatedWork W143039783 @default.
- W79210254 hasRelatedWork W1481109946 @default.
- W79210254 hasRelatedWork W1483600339 @default.
- W79210254 hasRelatedWork W1511845115 @default.
- W79210254 hasRelatedWork W1517638774 @default.
- W79210254 hasRelatedWork W1528837436 @default.
- W79210254 hasRelatedWork W1549166962 @default.
- W79210254 hasRelatedWork W1593377690 @default.
- W79210254 hasRelatedWork W1607705647 @default.
- W79210254 hasRelatedWork W175656304 @default.
- W79210254 hasRelatedWork W1916774567 @default.
- W79210254 hasRelatedWork W1922664086 @default.
- W79210254 hasRelatedWork W1989100715 @default.
- W79210254 hasRelatedWork W2016206563 @default.
- W79210254 hasRelatedWork W2041701185 @default.
- W79210254 hasRelatedWork W2080267935 @default.
- W79210254 hasRelatedWork W2111299652 @default.
- W79210254 hasRelatedWork W2113511408 @default.
- W79210254 hasRelatedWork W2148232695 @default.
- W79210254 hasRelatedWork W2149479807 @default.
- W79210254 isParatext "false" @default.
- W79210254 isRetracted "false" @default.
- W79210254 magId "79210254" @default.
- W79210254 workType "book-chapter" @default.