Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892907892> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2892907892 endingPage "469" @default.
- W2892907892 startingPage "449" @default.
- W2892907892 abstract "Starting from alternating-time temporal logic, many logics for reasoning about strategies in a system of agents have been proposed. Some of them consider the strategies that agents can play when they have partial information about the state of the system. $$ATLK_{irF}$$ is such a logic to reason about uniform strategies under unconditional fairness constraints. While this kind of logics has been extensively studied, practical approaches for solving their model-checking problem appeared only recently. This paper considers three approaches for model-checking strategies under partial observability of the agents, applied to $$ATLK_{irF}$$ . These three approaches have been implemented in PyNuSMV, a Python library based on the state-of-the-art model checker NuSMV. Thanks to the experimental results obtained with this library and thanks to the comparison of the relative performance of the approaches, this paper provides indications and guidelines for the use of these verification techniques, showing that different approaches are needed in different situations." @default.
- W2892907892 created "2018-10-05" @default.
- W2892907892 creator A5005920388 @default.
- W2892907892 creator A5009460574 @default.
- W2892907892 creator A5042997319 @default.
- W2892907892 creator A5059964100 @default.
- W2892907892 date "2018-09-28" @default.
- W2892907892 modified "2023-09-25" @default.
- W2892907892 title "Comparing approaches for model-checking strategies under imperfect information and fairness constraints" @default.
- W2892907892 cites W133924879 @default.
- W2892907892 cites W1489391022 @default.
- W2892907892 cites W1495293721 @default.
- W2892907892 cites W172467320 @default.
- W2892907892 cites W1751324011 @default.
- W2892907892 cites W1831653078 @default.
- W2892907892 cites W1966063923 @default.
- W2892907892 cites W1978338579 @default.
- W2892907892 cites W1999134680 @default.
- W2892907892 cites W2015907520 @default.
- W2892907892 cites W2016203775 @default.
- W2892907892 cites W2031522732 @default.
- W2892907892 cites W2036635964 @default.
- W2892907892 cites W2048905609 @default.
- W2892907892 cites W2069888227 @default.
- W2892907892 cites W2080267935 @default.
- W2892907892 cites W2146589866 @default.
- W2892907892 cites W2171296155 @default.
- W2892907892 cites W2291435965 @default.
- W2892907892 cites W3102862987 @default.
- W2892907892 doi "https://doi.org/10.1007/s10009-018-0505-6" @default.
- W2892907892 hasPublicationYear "2018" @default.
- W2892907892 type Work @default.
- W2892907892 sameAs 2892907892 @default.
- W2892907892 citedByCount "2" @default.
- W2892907892 countsByYear W28929078922021 @default.
- W2892907892 countsByYear W28929078922022 @default.
- W2892907892 crossrefType "journal-article" @default.
- W2892907892 hasAuthorship W2892907892A5005920388 @default.
- W2892907892 hasAuthorship W2892907892A5009460574 @default.
- W2892907892 hasAuthorship W2892907892A5042997319 @default.
- W2892907892 hasAuthorship W2892907892A5059964100 @default.
- W2892907892 hasBestOaLocation W28929078922 @default.
- W2892907892 hasConcept C110251889 @default.
- W2892907892 hasConcept C11413529 @default.
- W2892907892 hasConcept C123676819 @default.
- W2892907892 hasConcept C126255220 @default.
- W2892907892 hasConcept C138885662 @default.
- W2892907892 hasConcept C144237770 @default.
- W2892907892 hasConcept C24858836 @default.
- W2892907892 hasConcept C2780310539 @default.
- W2892907892 hasConcept C33923547 @default.
- W2892907892 hasConcept C41008148 @default.
- W2892907892 hasConcept C41895202 @default.
- W2892907892 hasConcept C80444323 @default.
- W2892907892 hasConceptScore W2892907892C110251889 @default.
- W2892907892 hasConceptScore W2892907892C11413529 @default.
- W2892907892 hasConceptScore W2892907892C123676819 @default.
- W2892907892 hasConceptScore W2892907892C126255220 @default.
- W2892907892 hasConceptScore W2892907892C138885662 @default.
- W2892907892 hasConceptScore W2892907892C144237770 @default.
- W2892907892 hasConceptScore W2892907892C24858836 @default.
- W2892907892 hasConceptScore W2892907892C2780310539 @default.
- W2892907892 hasConceptScore W2892907892C33923547 @default.
- W2892907892 hasConceptScore W2892907892C41008148 @default.
- W2892907892 hasConceptScore W2892907892C41895202 @default.
- W2892907892 hasConceptScore W2892907892C80444323 @default.
- W2892907892 hasIssue "4" @default.
- W2892907892 hasLocation W28929078921 @default.
- W2892907892 hasLocation W28929078922 @default.
- W2892907892 hasOpenAccess W2892907892 @default.
- W2892907892 hasPrimaryLocation W28929078921 @default.
- W2892907892 hasRelatedWork W1801993675 @default.
- W2892907892 hasRelatedWork W199673169 @default.
- W2892907892 hasRelatedWork W2002599455 @default.
- W2892907892 hasRelatedWork W2021285256 @default.
- W2892907892 hasRelatedWork W2740167349 @default.
- W2892907892 hasRelatedWork W2892907892 @default.
- W2892907892 hasRelatedWork W3037607571 @default.
- W2892907892 hasRelatedWork W3080391573 @default.
- W2892907892 hasRelatedWork W3174978780 @default.
- W2892907892 hasRelatedWork W4299494377 @default.
- W2892907892 hasVolume "21" @default.
- W2892907892 isParatext "false" @default.
- W2892907892 isRetracted "false" @default.
- W2892907892 magId "2892907892" @default.
- W2892907892 workType "article" @default.