Matches in SemOpenAlex for { <https://semopenalex.org/work/W152126604> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W152126604 endingPage "283" @default.
- W152126604 startingPage "266" @default.
- W152126604 abstract "Deterministic Büchi automata (DBA) are useful to (probabilistic) model checking and synthesis. We survey techniques used to obtain and minimize DBAs for different classes of properties. We extend these techniques to support DBA that have generalized and transition-based acceptance (DTGBA) as they can be even smaller. Our minimization technique—a reduction to a SAT problem—synthesizes a DTGBA equivalent to the input DTGBA for any given number of states and number of acceptance sets (assuming such automaton exists). We present benchmarks using a framework that implements all these techniques." @default.
- W152126604 created "2016-06-24" @default.
- W152126604 creator A5042401314 @default.
- W152126604 creator A5050913508 @default.
- W152126604 date "2014-01-01" @default.
- W152126604 modified "2023-10-03" @default.
- W152126604 title "Mechanizing the Minimization of Deterministic Generalized Büchi Automata" @default.
- W152126604 cites W1516066014 @default.
- W152126604 cites W1541872673 @default.
- W152126604 cites W1570288637 @default.
- W152126604 cites W1610578937 @default.
- W152126604 cites W174127068 @default.
- W152126604 cites W1915945840 @default.
- W152126604 cites W2023961202 @default.
- W152126604 cites W2025480213 @default.
- W152126604 cites W2063322197 @default.
- W152126604 cites W2087107980 @default.
- W152126604 cites W2114817689 @default.
- W152126604 cites W2116820075 @default.
- W152126604 cites W2130429059 @default.
- W152126604 cites W2293285880 @default.
- W152126604 cites W2510773733 @default.
- W152126604 cites W3009448167 @default.
- W152126604 cites W42425946 @default.
- W152126604 cites W77359284 @default.
- W152126604 doi "https://doi.org/10.1007/978-3-662-43613-4_17" @default.
- W152126604 hasPublicationYear "2014" @default.
- W152126604 type Work @default.
- W152126604 sameAs 152126604 @default.
- W152126604 citedByCount "5" @default.
- W152126604 countsByYear W1521266042015 @default.
- W152126604 countsByYear W1521266042016 @default.
- W152126604 countsByYear W1521266042017 @default.
- W152126604 countsByYear W1521266042022 @default.
- W152126604 crossrefType "book-chapter" @default.
- W152126604 hasAuthorship W152126604A5042401314 @default.
- W152126604 hasAuthorship W152126604A5050913508 @default.
- W152126604 hasBestOaLocation W1521266041 @default.
- W152126604 hasConcept C111335779 @default.
- W152126604 hasConcept C112505250 @default.
- W152126604 hasConcept C11413529 @default.
- W152126604 hasConcept C126255220 @default.
- W152126604 hasConcept C147764199 @default.
- W152126604 hasConcept C154945302 @default.
- W152126604 hasConcept C174784677 @default.
- W152126604 hasConcept C2524010 @default.
- W152126604 hasConcept C33923547 @default.
- W152126604 hasConcept C41008148 @default.
- W152126604 hasConcept C49937458 @default.
- W152126604 hasConcept C80444323 @default.
- W152126604 hasConceptScore W152126604C111335779 @default.
- W152126604 hasConceptScore W152126604C112505250 @default.
- W152126604 hasConceptScore W152126604C11413529 @default.
- W152126604 hasConceptScore W152126604C126255220 @default.
- W152126604 hasConceptScore W152126604C147764199 @default.
- W152126604 hasConceptScore W152126604C154945302 @default.
- W152126604 hasConceptScore W152126604C174784677 @default.
- W152126604 hasConceptScore W152126604C2524010 @default.
- W152126604 hasConceptScore W152126604C33923547 @default.
- W152126604 hasConceptScore W152126604C41008148 @default.
- W152126604 hasConceptScore W152126604C49937458 @default.
- W152126604 hasConceptScore W152126604C80444323 @default.
- W152126604 hasLocation W1521266041 @default.
- W152126604 hasLocation W1521266042 @default.
- W152126604 hasLocation W1521266043 @default.
- W152126604 hasLocation W1521266044 @default.
- W152126604 hasOpenAccess W152126604 @default.
- W152126604 hasPrimaryLocation W1521266041 @default.
- W152126604 hasRelatedWork W1573261754 @default.
- W152126604 hasRelatedWork W1665588751 @default.
- W152126604 hasRelatedWork W1780789845 @default.
- W152126604 hasRelatedWork W1979390054 @default.
- W152126604 hasRelatedWork W2044753318 @default.
- W152126604 hasRelatedWork W2100326215 @default.
- W152126604 hasRelatedWork W2126214140 @default.
- W152126604 hasRelatedWork W2514822958 @default.
- W152126604 hasRelatedWork W2798527773 @default.
- W152126604 hasRelatedWork W2989856703 @default.
- W152126604 isParatext "false" @default.
- W152126604 isRetracted "false" @default.
- W152126604 magId "152126604" @default.
- W152126604 workType "book-chapter" @default.