Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288372785> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4288372785 abstract "We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the evaluation scheme and the experimental setup of SYNTCOMP 2018. We give an overview of the participants of SYNTCOMP 2018 and highlight changes compared to previous years. Finally, we present and analyze the results of our experimental evaluation, including a ranking of tools with respect to quantity and quality of solutions." @default.
- W4288372785 created "2022-07-29" @default.
- W4288372785 creator A5004567503 @default.
- W4288372785 creator A5004834431 @default.
- W4288372785 creator A5008144501 @default.
- W4288372785 creator A5010443860 @default.
- W4288372785 creator A5012221975 @default.
- W4288372785 creator A5021888545 @default.
- W4288372785 creator A5022003779 @default.
- W4288372785 creator A5026672117 @default.
- W4288372785 creator A5048189898 @default.
- W4288372785 creator A5053520475 @default.
- W4288372785 creator A5071486415 @default.
- W4288372785 creator A5078953825 @default.
- W4288372785 creator A5080048833 @default.
- W4288372785 creator A5041982888 @default.
- W4288372785 date "2019-04-15" @default.
- W4288372785 modified "2023-10-18" @default.
- W4288372785 title "The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results" @default.
- W4288372785 doi "https://doi.org/10.48550/arxiv.1904.07736" @default.
- W4288372785 hasPublicationYear "2019" @default.
- W4288372785 type Work @default.
- W4288372785 citedByCount "0" @default.
- W4288372785 crossrefType "posted-content" @default.
- W4288372785 hasAuthorship W4288372785A5004567503 @default.
- W4288372785 hasAuthorship W4288372785A5004834431 @default.
- W4288372785 hasAuthorship W4288372785A5008144501 @default.
- W4288372785 hasAuthorship W4288372785A5010443860 @default.
- W4288372785 hasAuthorship W4288372785A5012221975 @default.
- W4288372785 hasAuthorship W4288372785A5021888545 @default.
- W4288372785 hasAuthorship W4288372785A5022003779 @default.
- W4288372785 hasAuthorship W4288372785A5026672117 @default.
- W4288372785 hasAuthorship W4288372785A5041982888 @default.
- W4288372785 hasAuthorship W4288372785A5048189898 @default.
- W4288372785 hasAuthorship W4288372785A5053520475 @default.
- W4288372785 hasAuthorship W4288372785A5071486415 @default.
- W4288372785 hasAuthorship W4288372785A5078953825 @default.
- W4288372785 hasAuthorship W4288372785A5080048833 @default.
- W4288372785 hasBestOaLocation W42883727851 @default.
- W4288372785 hasConcept C111472728 @default.
- W4288372785 hasConcept C13280743 @default.
- W4288372785 hasConcept C134306372 @default.
- W4288372785 hasConcept C138885662 @default.
- W4288372785 hasConcept C154945302 @default.
- W4288372785 hasConcept C185798385 @default.
- W4288372785 hasConcept C18903297 @default.
- W4288372785 hasConcept C189430467 @default.
- W4288372785 hasConcept C205649164 @default.
- W4288372785 hasConcept C2779530757 @default.
- W4288372785 hasConcept C33923547 @default.
- W4288372785 hasConcept C41008148 @default.
- W4288372785 hasConcept C77618280 @default.
- W4288372785 hasConcept C86803240 @default.
- W4288372785 hasConcept C91306197 @default.
- W4288372785 hasConceptScore W4288372785C111472728 @default.
- W4288372785 hasConceptScore W4288372785C13280743 @default.
- W4288372785 hasConceptScore W4288372785C134306372 @default.
- W4288372785 hasConceptScore W4288372785C138885662 @default.
- W4288372785 hasConceptScore W4288372785C154945302 @default.
- W4288372785 hasConceptScore W4288372785C185798385 @default.
- W4288372785 hasConceptScore W4288372785C18903297 @default.
- W4288372785 hasConceptScore W4288372785C189430467 @default.
- W4288372785 hasConceptScore W4288372785C205649164 @default.
- W4288372785 hasConceptScore W4288372785C2779530757 @default.
- W4288372785 hasConceptScore W4288372785C33923547 @default.
- W4288372785 hasConceptScore W4288372785C41008148 @default.
- W4288372785 hasConceptScore W4288372785C77618280 @default.
- W4288372785 hasConceptScore W4288372785C86803240 @default.
- W4288372785 hasConceptScore W4288372785C91306197 @default.
- W4288372785 hasLocation W42883727851 @default.
- W4288372785 hasLocation W42883727852 @default.
- W4288372785 hasLocation W42883727853 @default.
- W4288372785 hasOpenAccess W4288372785 @default.
- W4288372785 hasPrimaryLocation W42883727851 @default.
- W4288372785 hasRelatedWork W112744582 @default.
- W4288372785 hasRelatedWork W1485630101 @default.
- W4288372785 hasRelatedWork W172869079 @default.
- W4288372785 hasRelatedWork W2121028870 @default.
- W4288372785 hasRelatedWork W2373110356 @default.
- W4288372785 hasRelatedWork W2373250155 @default.
- W4288372785 hasRelatedWork W2498017833 @default.
- W4288372785 hasRelatedWork W3003406682 @default.
- W4288372785 hasRelatedWork W4298130664 @default.
- W4288372785 hasRelatedWork W858404628 @default.
- W4288372785 isParatext "false" @default.
- W4288372785 isRetracted "false" @default.
- W4288372785 workType "article" @default.