Matches in SemOpenAlex for { <https://semopenalex.org/work/W1526980041> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1526980041 abstract "This paper addresses the problem of generating deterministic ω-automata for formulas of linear temporal logic, which can be solved by applying well-known algorithms to construct a nondeterministic Buchi automaton for the given formula on which we then apply a determinization algorithm. We study here in detail Safra's determinization algorithm, present several heuristics that attempt to decrease the size of the resulting automata and report on experimental results." @default.
- W1526980041 created "2016-06-24" @default.
- W1526980041 creator A5011766470 @default.
- W1526980041 creator A5091344667 @default.
- W1526980041 date "2006-01-01" @default.
- W1526980041 modified "2023-09-23" @default.
- W1526980041 title "Experiments with Deterministic ω-Automata for Formulas of Linear Temporal Logic" @default.
- W1526980041 cites W143291542 @default.
- W1526980041 cites W1496256885 @default.
- W1526980041 cites W1507116188 @default.
- W1526980041 cites W1521991348 @default.
- W1526980041 cites W1529546258 @default.
- W1526980041 cites W1570288637 @default.
- W1526980041 cites W1607066266 @default.
- W1526980041 cites W1761635979 @default.
- W1526980041 cites W1816620374 @default.
- W1526980041 cites W1930640507 @default.
- W1526980041 cites W1971073703 @default.
- W1526980041 cites W1996832037 @default.
- W1526980041 cites W2051580064 @default.
- W1526980041 cites W2068361557 @default.
- W1526980041 cites W2076284895 @default.
- W1526980041 cites W2089003125 @default.
- W1526980041 cites W2107182799 @default.
- W1526980041 cites W2115309705 @default.
- W1526980041 cites W2116820075 @default.
- W1526980041 cites W2124285023 @default.
- W1526980041 doi "https://doi.org/10.1007/11605157_17" @default.
- W1526980041 hasPublicationYear "2006" @default.
- W1526980041 type Work @default.
- W1526980041 sameAs 1526980041 @default.
- W1526980041 citedByCount "5" @default.
- W1526980041 countsByYear W15269800412013 @default.
- W1526980041 countsByYear W15269800412016 @default.
- W1526980041 countsByYear W15269800412019 @default.
- W1526980041 crossrefType "book-chapter" @default.
- W1526980041 hasAuthorship W1526980041A5011766470 @default.
- W1526980041 hasAuthorship W1526980041A5091344667 @default.
- W1526980041 hasConcept C111919701 @default.
- W1526980041 hasConcept C112505250 @default.
- W1526980041 hasConcept C11413529 @default.
- W1526980041 hasConcept C127705205 @default.
- W1526980041 hasConcept C165753454 @default.
- W1526980041 hasConcept C176181172 @default.
- W1526980041 hasConcept C194525867 @default.
- W1526980041 hasConcept C25016198 @default.
- W1526980041 hasConcept C41008148 @default.
- W1526980041 hasConcept C4777664 @default.
- W1526980041 hasConcept C80444323 @default.
- W1526980041 hasConceptScore W1526980041C111919701 @default.
- W1526980041 hasConceptScore W1526980041C112505250 @default.
- W1526980041 hasConceptScore W1526980041C11413529 @default.
- W1526980041 hasConceptScore W1526980041C127705205 @default.
- W1526980041 hasConceptScore W1526980041C165753454 @default.
- W1526980041 hasConceptScore W1526980041C176181172 @default.
- W1526980041 hasConceptScore W1526980041C194525867 @default.
- W1526980041 hasConceptScore W1526980041C25016198 @default.
- W1526980041 hasConceptScore W1526980041C41008148 @default.
- W1526980041 hasConceptScore W1526980041C4777664 @default.
- W1526980041 hasConceptScore W1526980041C80444323 @default.
- W1526980041 hasLocation W15269800411 @default.
- W1526980041 hasOpenAccess W1526980041 @default.
- W1526980041 hasPrimaryLocation W15269800411 @default.
- W1526980041 hasRelatedWork W1527462432 @default.
- W1526980041 hasRelatedWork W1572612329 @default.
- W1526980041 hasRelatedWork W1604890813 @default.
- W1526980041 hasRelatedWork W2013878945 @default.
- W1526980041 hasRelatedWork W2359102888 @default.
- W1526980041 hasRelatedWork W2359796614 @default.
- W1526980041 hasRelatedWork W2883923349 @default.
- W1526980041 hasRelatedWork W2945603833 @default.
- W1526980041 hasRelatedWork W3125196057 @default.
- W1526980041 hasRelatedWork W4295679060 @default.
- W1526980041 isParatext "false" @default.
- W1526980041 isRetracted "false" @default.
- W1526980041 magId "1526980041" @default.
- W1526980041 workType "book-chapter" @default.