Matches in SemOpenAlex for { <https://semopenalex.org/work/W2770660436> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2770660436 endingPage "80" @default.
- W2770660436 startingPage "62" @default.
- W2770660436 abstract "Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this workshop paper we present and evaluate a list of heuristics to potentially reduce running times for GR(1) synthesis and related algorithms. The list includes early detection of fixed-points and unrealizability, fixed-point recycling, and heuristics for unrealizable core computations. We evaluate the presented heuristics on SYNTECH15, a total of 78 specifications of 6 autonomous Lego robots, written by 3rd year undergraduate computer science students in a project class we have taught, as well as on several benchmarks from the literature. The evaluation investigates not only the potential of the suggested heuristics to improve computation times, but also the difference between existing benchmarks and the robot's specifications in terms of the effectiveness of the heuristics." @default.
- W2770660436 created "2017-12-04" @default.
- W2770660436 creator A5021803711 @default.
- W2770660436 creator A5024052024 @default.
- W2770660436 creator A5056897845 @default.
- W2770660436 date "2017-11-28" @default.
- W2770660436 modified "2023-10-16" @default.
- W2770660436 title "Performance Heuristics for GR(1) Synthesis and Related Algorithms" @default.
- W2770660436 cites W1517771483 @default.
- W2770660436 cites W1540597046 @default.
- W2770660436 cites W1603488308 @default.
- W2770660436 cites W1970676784 @default.
- W2770660436 cites W1971845040 @default.
- W2770660436 cites W1974672595 @default.
- W2770660436 cites W1996832037 @default.
- W2770660436 cites W2015640848 @default.
- W2770660436 cites W2016206563 @default.
- W2770660436 cites W2041701185 @default.
- W2770660436 cites W2060307524 @default.
- W2770660436 cites W2082212664 @default.
- W2770660436 cites W2084477406 @default.
- W2770660436 cites W2098590705 @default.
- W2770660436 cites W2151958719 @default.
- W2770660436 cites W2170224888 @default.
- W2770660436 cites W2225143473 @default.
- W2770660436 cites W2231402397 @default.
- W2770660436 cites W2261578473 @default.
- W2770660436 cites W2261996056 @default.
- W2770660436 cites W2268719237 @default.
- W2770660436 cites W2476245236 @default.
- W2770660436 cites W2502103274 @default.
- W2770660436 cites W2516749794 @default.
- W2770660436 cites W2547497993 @default.
- W2770660436 cites W2551704252 @default.
- W2770660436 cites W2552403574 @default.
- W2770660436 cites W2554532066 @default.
- W2770660436 cites W3023554972 @default.
- W2770660436 cites W310822077 @default.
- W2770660436 cites W3144630549 @default.
- W2770660436 cites W4229914603 @default.
- W2770660436 cites W4232512250 @default.
- W2770660436 cites W4237485128 @default.
- W2770660436 doi "https://doi.org/10.4204/eptcs.260.7" @default.
- W2770660436 hasPublicationYear "2017" @default.
- W2770660436 type Work @default.
- W2770660436 sameAs 2770660436 @default.
- W2770660436 citedByCount "3" @default.
- W2770660436 countsByYear W27706604362018 @default.
- W2770660436 countsByYear W27706604362019 @default.
- W2770660436 crossrefType "journal-article" @default.
- W2770660436 hasAuthorship W2770660436A5021803711 @default.
- W2770660436 hasAuthorship W2770660436A5024052024 @default.
- W2770660436 hasAuthorship W2770660436A5056897845 @default.
- W2770660436 hasBestOaLocation W27706604361 @default.
- W2770660436 hasConcept C111919701 @default.
- W2770660436 hasConcept C11413529 @default.
- W2770660436 hasConcept C127705205 @default.
- W2770660436 hasConcept C154945302 @default.
- W2770660436 hasConcept C2524010 @default.
- W2770660436 hasConcept C2777212361 @default.
- W2770660436 hasConcept C28719098 @default.
- W2770660436 hasConcept C33923547 @default.
- W2770660436 hasConcept C41008148 @default.
- W2770660436 hasConcept C45374587 @default.
- W2770660436 hasConcept C80444323 @default.
- W2770660436 hasConcept C90509273 @default.
- W2770660436 hasConceptScore W2770660436C111919701 @default.
- W2770660436 hasConceptScore W2770660436C11413529 @default.
- W2770660436 hasConceptScore W2770660436C127705205 @default.
- W2770660436 hasConceptScore W2770660436C154945302 @default.
- W2770660436 hasConceptScore W2770660436C2524010 @default.
- W2770660436 hasConceptScore W2770660436C2777212361 @default.
- W2770660436 hasConceptScore W2770660436C28719098 @default.
- W2770660436 hasConceptScore W2770660436C33923547 @default.
- W2770660436 hasConceptScore W2770660436C41008148 @default.
- W2770660436 hasConceptScore W2770660436C45374587 @default.
- W2770660436 hasConceptScore W2770660436C80444323 @default.
- W2770660436 hasConceptScore W2770660436C90509273 @default.
- W2770660436 hasLocation W27706604361 @default.
- W2770660436 hasLocation W27706604362 @default.
- W2770660436 hasLocation W27706604363 @default.
- W2770660436 hasOpenAccess W2770660436 @default.
- W2770660436 hasPrimaryLocation W27706604361 @default.
- W2770660436 hasRelatedWork W1505204863 @default.
- W2770660436 hasRelatedWork W1522517976 @default.
- W2770660436 hasRelatedWork W175425379 @default.
- W2770660436 hasRelatedWork W1756885467 @default.
- W2770660436 hasRelatedWork W1828744063 @default.
- W2770660436 hasRelatedWork W2034983601 @default.
- W2770660436 hasRelatedWork W2097843717 @default.
- W2770660436 hasRelatedWork W2354062721 @default.
- W2770660436 hasRelatedWork W2884576438 @default.
- W2770660436 hasRelatedWork W2905364337 @default.
- W2770660436 hasVolume "260" @default.
- W2770660436 isParatext "false" @default.
- W2770660436 isRetracted "false" @default.
- W2770660436 magId "2770660436" @default.
- W2770660436 workType "article" @default.