FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1917363929> ?p ?o ?g. }

• W1917363929 endingPage "31" @default.
• W1917363929 startingPage "31" @default.
• W1917363929 abstract "Spot is a library of model-checking algorithms started in 2003. This paper focuses on its module for translating linear-time temporal logic (LTL) formulas into Büchi automata: one of the steps required in the automata-theoretic approach to LTL model-checking. We detail the different algorithms involved in this translation: the core translation itself, which performs many simplifications thanks to its use of binary decision diagrams; the pre-processing of the LTL formulas with rewriting rules chosen to help their translation; and various post-processing algorithms whose use depends on the intent of the translation: do we favour deterministic automata, or small automata? Using different benchmarks, we show how Spot competes with other LTL translators, and how it has improved over the years." @default.
• W1917363929 created "2016-06-24" @default.
• W1917363929 creator A5042401314 @default.
• W1917363929 date "2014-01-01" @default.
• W1917363929 modified "2023-09-23" @default.
• W1917363929 title "LTL translation improvements in Spot 1.0" @default.
• W1917363929 cites W143291542 @default.
• W1917363929 cites W148757792 @default.
• W1917363929 cites W1492929237 @default.
• W1917363929 cites W1499875037 @default.
• W1917363929 cites W1507116188 @default.
• W1917363929 cites W1512705201 @default.
• W1917363929 cites W1517244811 @default.
• W1917363929 cites W1521991348 @default.
• W1917363929 cites W1541872673 @default.
• W1917363929 cites W1607782211 @default.
• W1917363929 cites W1698053229 @default.
• W1917363929 cites W175109416 @default.
• W1917363929 cites W1754034137 @default.
• W1917363929 cites W1915945840 @default.
• W1917363929 cites W1984936841 @default.
• W1917363929 cites W1986742819 @default.
• W1917363929 cites W2018259650 @default.
• W1917363929 cites W2023961202 @default.
• W1917363929 cites W2032906824 @default.
• W1917363929 cites W2063322197 @default.
• W1917363929 cites W2080267935 @default.
• W1917363929 cites W2089003125 @default.
• W1917363929 cites W2105618388 @default.
• W1917363929 cites W2107182799 @default.
• W1917363929 cites W2146706022 @default.
• W1917363929 cites W2340735175 @default.
• W1917363929 cites W2510773733 @default.
• W1917363929 cites W430052782 @default.
• W1917363929 doi "https://doi.org/10.1504/ijccbs.2014.059594" @default.
• W1917363929 hasPublicationYear "2014" @default.
• W1917363929 type Work @default.
• W1917363929 sameAs 1917363929 @default.
• W1917363929 citedByCount "24" @default.
• W1917363929 countsByYear W19173639292014 @default.
• W1917363929 countsByYear W19173639292015 @default.
• W1917363929 countsByYear W19173639292016 @default.
• W1917363929 countsByYear W19173639292017 @default.
• W1917363929 countsByYear W19173639292018 @default.
• W1917363929 countsByYear W19173639292019 @default.
• W1917363929 countsByYear W19173639292020 @default.
• W1917363929 countsByYear W19173639292021 @default.
• W1917363929 countsByYear W19173639292022 @default.
• W1917363929 countsByYear W19173639292023 @default.
• W1917363929 crossrefType "journal-article" @default.
• W1917363929 hasAuthorship W1917363929A5042401314 @default.
• W1917363929 hasBestOaLocation W19173639292 @default.
• W1917363929 hasConcept C104317684 @default.
• W1917363929 hasConcept C105580179 @default.
• W1917363929 hasConcept C110251889 @default.
• W1917363929 hasConcept C112505250 @default.
• W1917363929 hasConcept C11413529 @default.
• W1917363929 hasConcept C149364088 @default.
• W1917363929 hasConcept C154690210 @default.
• W1917363929 hasConcept C165753454 @default.
• W1917363929 hasConcept C185592680 @default.
• W1917363929 hasConcept C194525867 @default.
• W1917363929 hasConcept C199360897 @default.
• W1917363929 hasConcept C25016198 @default.
• W1917363929 hasConcept C3309909 @default.
• W1917363929 hasConcept C41008148 @default.
• W1917363929 hasConcept C4777664 @default.
• W1917363929 hasConcept C55493867 @default.
• W1917363929 hasConcept C80444323 @default.
• W1917363929 hasConceptScore W1917363929C104317684 @default.
• W1917363929 hasConceptScore W1917363929C105580179 @default.
• W1917363929 hasConceptScore W1917363929C110251889 @default.
• W1917363929 hasConceptScore W1917363929C112505250 @default.
• W1917363929 hasConceptScore W1917363929C11413529 @default.
• W1917363929 hasConceptScore W1917363929C149364088 @default.
• W1917363929 hasConceptScore W1917363929C154690210 @default.
• W1917363929 hasConceptScore W1917363929C165753454 @default.
• W1917363929 hasConceptScore W1917363929C185592680 @default.
• W1917363929 hasConceptScore W1917363929C194525867 @default.
• W1917363929 hasConceptScore W1917363929C199360897 @default.
• W1917363929 hasConceptScore W1917363929C25016198 @default.
• W1917363929 hasConceptScore W1917363929C3309909 @default.
• W1917363929 hasConceptScore W1917363929C41008148 @default.
• W1917363929 hasConceptScore W1917363929C4777664 @default.
• W1917363929 hasConceptScore W1917363929C55493867 @default.
• W1917363929 hasConceptScore W1917363929C80444323 @default.
• W1917363929 hasIssue "1/2" @default.
• W1917363929 hasLocation W19173639291 @default.
• W1917363929 hasLocation W19173639292 @default.
• W1917363929 hasLocation W19173639293 @default.
• W1917363929 hasOpenAccess W1917363929 @default.
• W1917363929 hasPrimaryLocation W19173639291 @default.
• W1917363929 hasRelatedWork W1546295742 @default.
• W1917363929 hasRelatedWork W1973143055 @default.
• W1917363929 hasRelatedWork W2012608769 @default.
• W1917363929 hasRelatedWork W2040273842 @default.
• W1917363929 hasRelatedWork W2110468917 @default.
• W1917363929 hasRelatedWork W2165282416 @default.

• next