Matches in SemOpenAlex for { <https://semopenalex.org/work/W2981945897> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2981945897 abstract "We present an exact approach to synthesize temporal-logic formulas in linear temporal logic (LTL) from a set of given positive and negative example traces. Our approach uses topology structures, in particular partial DAGs, to partition the search space into small and manageable subproblems. The algorithm then solves each subproblem independently with the aid of an oracle for deciding satisfiability modulo propositional logic. This strategy is capable of achieving a super-linear speedup when parallelized. We have implemented a bounded synthesis approach to find an LTL formula of minimum size using the proposed topology-guided exact synthesis approach. In an experimental evaluation, we show that the proposed approach achieves a 20× runtime improvement over the state-of-the-art approach." @default.
- W2981945897 created "2019-11-01" @default.
- W2981945897 creator A5011120024 @default.
- W2981945897 date "2019-09-01" @default.
- W2981945897 modified "2023-10-01" @default.
- W2981945897 title "Exact Synthesis of LTL Properties from Traces" @default.
- W2981945897 cites W1506588809 @default.
- W2981945897 cites W1980351200 @default.
- W2981945897 cites W2018094844 @default.
- W2981945897 cites W2587513648 @default.
- W2981945897 cites W2807161818 @default.
- W2981945897 cites W2913953585 @default.
- W2981945897 cites W2946189651 @default.
- W2981945897 cites W4231640108 @default.
- W2981945897 cites W4253456425 @default.
- W2981945897 doi "https://doi.org/10.1109/fdl.2019.8876900" @default.
- W2981945897 hasPublicationYear "2019" @default.
- W2981945897 type Work @default.
- W2981945897 sameAs 2981945897 @default.
- W2981945897 citedByCount "5" @default.
- W2981945897 countsByYear W29819458972020 @default.
- W2981945897 countsByYear W29819458972022 @default.
- W2981945897 countsByYear W29819458972023 @default.
- W2981945897 crossrefType "proceedings-article" @default.
- W2981945897 hasAuthorship W2981945897A5011120024 @default.
- W2981945897 hasConcept C110251889 @default.
- W2981945897 hasConcept C11413529 @default.
- W2981945897 hasConcept C114614502 @default.
- W2981945897 hasConcept C118615104 @default.
- W2981945897 hasConcept C134306372 @default.
- W2981945897 hasConcept C161913894 @default.
- W2981945897 hasConcept C164155591 @default.
- W2981945897 hasConcept C168773769 @default.
- W2981945897 hasConcept C173608175 @default.
- W2981945897 hasConcept C199360897 @default.
- W2981945897 hasConcept C25016198 @default.
- W2981945897 hasConcept C33923547 @default.
- W2981945897 hasConcept C34388435 @default.
- W2981945897 hasConcept C41008148 @default.
- W2981945897 hasConcept C42812 @default.
- W2981945897 hasConcept C4777664 @default.
- W2981945897 hasConcept C55166926 @default.
- W2981945897 hasConcept C68339613 @default.
- W2981945897 hasConcept C69562738 @default.
- W2981945897 hasConcept C80444323 @default.
- W2981945897 hasConceptScore W2981945897C110251889 @default.
- W2981945897 hasConceptScore W2981945897C11413529 @default.
- W2981945897 hasConceptScore W2981945897C114614502 @default.
- W2981945897 hasConceptScore W2981945897C118615104 @default.
- W2981945897 hasConceptScore W2981945897C134306372 @default.
- W2981945897 hasConceptScore W2981945897C161913894 @default.
- W2981945897 hasConceptScore W2981945897C164155591 @default.
- W2981945897 hasConceptScore W2981945897C168773769 @default.
- W2981945897 hasConceptScore W2981945897C173608175 @default.
- W2981945897 hasConceptScore W2981945897C199360897 @default.
- W2981945897 hasConceptScore W2981945897C25016198 @default.
- W2981945897 hasConceptScore W2981945897C33923547 @default.
- W2981945897 hasConceptScore W2981945897C34388435 @default.
- W2981945897 hasConceptScore W2981945897C41008148 @default.
- W2981945897 hasConceptScore W2981945897C42812 @default.
- W2981945897 hasConceptScore W2981945897C4777664 @default.
- W2981945897 hasConceptScore W2981945897C55166926 @default.
- W2981945897 hasConceptScore W2981945897C68339613 @default.
- W2981945897 hasConceptScore W2981945897C69562738 @default.
- W2981945897 hasConceptScore W2981945897C80444323 @default.
- W2981945897 hasLocation W29819458971 @default.
- W2981945897 hasOpenAccess W2981945897 @default.
- W2981945897 hasPrimaryLocation W29819458971 @default.
- W2981945897 hasRelatedWork W1514330492 @default.
- W2981945897 hasRelatedWork W1537589219 @default.
- W2981945897 hasRelatedWork W1543261728 @default.
- W2981945897 hasRelatedWork W1553501722 @default.
- W2981945897 hasRelatedWork W2283799048 @default.
- W2981945897 hasRelatedWork W249579701 @default.
- W2981945897 hasRelatedWork W2981945897 @default.
- W2981945897 hasRelatedWork W3177466645 @default.
- W2981945897 hasRelatedWork W4287200242 @default.
- W2981945897 hasRelatedWork W87797281 @default.
- W2981945897 isParatext "false" @default.
- W2981945897 isRetracted "false" @default.
- W2981945897 magId "2981945897" @default.
- W2981945897 workType "article" @default.