Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956007410> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2956007410 abstract "Acacia-K is a tool that solves the synthesis problem for the positive fragment of epistemic temporal logic (KLTL). We briefly describe the implemented algorithm and our test cases. The tool is an extension of Acacia+ that solves the synthesis problem for epistemic temporal specifications where the resulting strategies need memory. To stress more the importance of such implementation, in this paper we compare Acacia-K with MCMAS-SLK, an open-source model-checker supporting the verification of interactive systems against specifications written in a variant of strategy logic under memoryless setting. The results obtained prove the feasibility of our method and represent an encouraging (and necessary) step towards developing implementable procedures for the entire logic KLTL." @default.
- W2956007410 created "2019-07-12" @default.
- W2956007410 creator A5061859307 @default.
- W2956007410 date "2018-09-01" @default.
- W2956007410 modified "2023-09-27" @default.
- W2956007410 title "Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications" @default.
- W2956007410 cites W143039783 @default.
- W2956007410 cites W1529546258 @default.
- W2956007410 cites W1529977153 @default.
- W2956007410 cites W1590266960 @default.
- W2956007410 cites W1831653078 @default.
- W2956007410 cites W2031592188 @default.
- W2956007410 cites W2108036288 @default.
- W2956007410 cites W2913192371 @default.
- W2956007410 cites W3023299845 @default.
- W2956007410 doi "https://doi.org/10.1109/synasc.2018.00031" @default.
- W2956007410 hasPublicationYear "2018" @default.
- W2956007410 type Work @default.
- W2956007410 sameAs 2956007410 @default.
- W2956007410 citedByCount "0" @default.
- W2956007410 crossrefType "proceedings-article" @default.
- W2956007410 hasAuthorship W2956007410A5061859307 @default.
- W2956007410 hasConcept C110251889 @default.
- W2956007410 hasConcept C154945302 @default.
- W2956007410 hasConcept C199360897 @default.
- W2956007410 hasConcept C25016198 @default.
- W2956007410 hasConcept C2776235265 @default.
- W2956007410 hasConcept C2778029271 @default.
- W2956007410 hasConcept C2780713402 @default.
- W2956007410 hasConcept C41008148 @default.
- W2956007410 hasConcept C59822182 @default.
- W2956007410 hasConcept C80444323 @default.
- W2956007410 hasConcept C86803240 @default.
- W2956007410 hasConceptScore W2956007410C110251889 @default.
- W2956007410 hasConceptScore W2956007410C154945302 @default.
- W2956007410 hasConceptScore W2956007410C199360897 @default.
- W2956007410 hasConceptScore W2956007410C25016198 @default.
- W2956007410 hasConceptScore W2956007410C2776235265 @default.
- W2956007410 hasConceptScore W2956007410C2778029271 @default.
- W2956007410 hasConceptScore W2956007410C2780713402 @default.
- W2956007410 hasConceptScore W2956007410C41008148 @default.
- W2956007410 hasConceptScore W2956007410C59822182 @default.
- W2956007410 hasConceptScore W2956007410C80444323 @default.
- W2956007410 hasConceptScore W2956007410C86803240 @default.
- W2956007410 hasLocation W29560074101 @default.
- W2956007410 hasOpenAccess W2956007410 @default.
- W2956007410 hasPrimaryLocation W29560074101 @default.
- W2956007410 hasRelatedWork W1492159729 @default.
- W2956007410 hasRelatedWork W1502301190 @default.
- W2956007410 hasRelatedWork W1503474309 @default.
- W2956007410 hasRelatedWork W1551406732 @default.
- W2956007410 hasRelatedWork W1594976552 @default.
- W2956007410 hasRelatedWork W1863652788 @default.
- W2956007410 hasRelatedWork W186611154 @default.
- W2956007410 hasRelatedWork W2020273103 @default.
- W2956007410 hasRelatedWork W2039930599 @default.
- W2956007410 hasRelatedWork W2070453546 @default.
- W2956007410 hasRelatedWork W2185545937 @default.
- W2956007410 hasRelatedWork W2481947210 @default.
- W2956007410 hasRelatedWork W2808202188 @default.
- W2956007410 hasRelatedWork W2962927158 @default.
- W2956007410 hasRelatedWork W3037629243 @default.
- W2956007410 hasRelatedWork W3117726060 @default.
- W2956007410 hasRelatedWork W3126104235 @default.
- W2956007410 hasRelatedWork W81992595 @default.
- W2956007410 hasRelatedWork W925418074 @default.
- W2956007410 hasRelatedWork W2550375175 @default.
- W2956007410 isParatext "false" @default.
- W2956007410 isRetracted "false" @default.
- W2956007410 magId "2956007410" @default.
- W2956007410 workType "article" @default.