Matches in SemOpenAlex for { <https://semopenalex.org/work/W1977166502> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1977166502 abstract "We propose a novel algorithm for the satisfiability problem for Linear Temporal Logic (LTL). Existing approaches first transform the LTL formula into a Buchi automaton and then perform an emptiness checking of the resulting automaton. Instead, our approach works on-the-fly by inspecting the formula directly, thus enabling finding a satisfying model quickly without constructing the full automaton. This makes our algorithm particularly fast for satisfiable formulas. We report on a prototype implementation, showing that our approach significantly outperforms state-of-the-art tools." @default.
- W1977166502 created "2016-06-24" @default.
- W1977166502 creator A5000059818 @default.
- W1977166502 creator A5011077396 @default.
- W1977166502 creator A5019942972 @default.
- W1977166502 creator A5054490662 @default.
- W1977166502 creator A5081589298 @default.
- W1977166502 date "2013-09-01" @default.
- W1977166502 modified "2023-10-16" @default.
- W1977166502 title "LTL Satisfiability Checking Revisited" @default.
- W1977166502 cites W1512705201 @default.
- W1977166502 cites W1527982431 @default.
- W1977166502 cites W1537589219 @default.
- W1977166502 cites W1592306554 @default.
- W1977166502 cites W1698053229 @default.
- W1977166502 cites W182632105 @default.
- W1977166502 cites W1984936841 @default.
- W1977166502 cites W2001289891 @default.
- W1977166502 cites W2003227046 @default.
- W1977166502 cites W2012935476 @default.
- W1977166502 cites W2032906824 @default.
- W1977166502 cites W2061438988 @default.
- W1977166502 cites W2115309705 @default.
- W1977166502 cites W2131225255 @default.
- W1977166502 cites W2159191524 @default.
- W1977166502 doi "https://doi.org/10.1109/time.2013.19" @default.
- W1977166502 hasPublicationYear "2013" @default.
- W1977166502 type Work @default.
- W1977166502 sameAs 1977166502 @default.
- W1977166502 citedByCount "23" @default.
- W1977166502 countsByYear W19771665022014 @default.
- W1977166502 countsByYear W19771665022015 @default.
- W1977166502 countsByYear W19771665022016 @default.
- W1977166502 countsByYear W19771665022017 @default.
- W1977166502 countsByYear W19771665022018 @default.
- W1977166502 countsByYear W19771665022019 @default.
- W1977166502 countsByYear W19771665022020 @default.
- W1977166502 countsByYear W19771665022021 @default.
- W1977166502 countsByYear W19771665022022 @default.
- W1977166502 countsByYear W19771665022023 @default.
- W1977166502 crossrefType "proceedings-article" @default.
- W1977166502 hasAuthorship W1977166502A5000059818 @default.
- W1977166502 hasAuthorship W1977166502A5011077396 @default.
- W1977166502 hasAuthorship W1977166502A5019942972 @default.
- W1977166502 hasAuthorship W1977166502A5054490662 @default.
- W1977166502 hasAuthorship W1977166502A5081589298 @default.
- W1977166502 hasBestOaLocation W19771665022 @default.
- W1977166502 hasConcept C110251889 @default.
- W1977166502 hasConcept C111919701 @default.
- W1977166502 hasConcept C112505250 @default.
- W1977166502 hasConcept C11413529 @default.
- W1977166502 hasConcept C165753454 @default.
- W1977166502 hasConcept C168773769 @default.
- W1977166502 hasConcept C194525867 @default.
- W1977166502 hasConcept C25016198 @default.
- W1977166502 hasConcept C2781020372 @default.
- W1977166502 hasConcept C311688 @default.
- W1977166502 hasConcept C41008148 @default.
- W1977166502 hasConcept C4777664 @default.
- W1977166502 hasConcept C48103436 @default.
- W1977166502 hasConcept C6943359 @default.
- W1977166502 hasConcept C80444323 @default.
- W1977166502 hasConceptScore W1977166502C110251889 @default.
- W1977166502 hasConceptScore W1977166502C111919701 @default.
- W1977166502 hasConceptScore W1977166502C112505250 @default.
- W1977166502 hasConceptScore W1977166502C11413529 @default.
- W1977166502 hasConceptScore W1977166502C165753454 @default.
- W1977166502 hasConceptScore W1977166502C168773769 @default.
- W1977166502 hasConceptScore W1977166502C194525867 @default.
- W1977166502 hasConceptScore W1977166502C25016198 @default.
- W1977166502 hasConceptScore W1977166502C2781020372 @default.
- W1977166502 hasConceptScore W1977166502C311688 @default.
- W1977166502 hasConceptScore W1977166502C41008148 @default.
- W1977166502 hasConceptScore W1977166502C4777664 @default.
- W1977166502 hasConceptScore W1977166502C48103436 @default.
- W1977166502 hasConceptScore W1977166502C6943359 @default.
- W1977166502 hasConceptScore W1977166502C80444323 @default.
- W1977166502 hasLocation W19771665021 @default.
- W1977166502 hasLocation W19771665022 @default.
- W1977166502 hasOpenAccess W1977166502 @default.
- W1977166502 hasPrimaryLocation W19771665021 @default.
- W1977166502 hasRelatedWork W1514330492 @default.
- W1977166502 hasRelatedWork W1546295742 @default.
- W1977166502 hasRelatedWork W1607782211 @default.
- W1977166502 hasRelatedWork W1617552349 @default.
- W1977166502 hasRelatedWork W1977166502 @default.
- W1977166502 hasRelatedWork W2013878945 @default.
- W1977166502 hasRelatedWork W2028860036 @default.
- W1977166502 hasRelatedWork W2146706022 @default.
- W1977166502 hasRelatedWork W2396641696 @default.
- W1977166502 hasRelatedWork W2767756541 @default.
- W1977166502 isParatext "false" @default.
- W1977166502 isRetracted "false" @default.
- W1977166502 magId "1977166502" @default.
- W1977166502 workType "article" @default.