Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893961500> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2893961500 endingPage "125" @default.
- W2893961500 startingPage "109" @default.
- W2893961500 abstract "We investigate means of efficient computation of the simulation relation over symbolic finite automata (SFAs), i.e., finite automata with transitions labeled by predicates over alphabet symbols. In one approach, we build on the algorithm by Ilie, Navaro, and Yu proposed originally for classical finite automata, modifying it using the so-called mintermisation of the transition predicates. This solution, however, generates all Boolean combinations of the predicates, which easily causes an exponential blowup in the number of transitions. Therefore, we propose two more advanced solutions. The first one still applies mintermisation but in a local way, mitigating the size of the exponential blowup. The other one focuses on a novel symbolic way of dealing with transitions, for which we need to sacrifice the counting technique of the original algorithm (counting is used to decrease the dependency of the running time on the number of transitions from quadratic to linear). We perform a thorough experimental evaluation of all the algorithms, together with several further alternatives, showing that all of them have their merits in practice, but with the clear indication that in most of the cases, efficient treatment of symbolic transitions is more beneficial than counting." @default.
- W2893961500 created "2018-10-05" @default.
- W2893961500 creator A5005128087 @default.
- W2893961500 creator A5059358773 @default.
- W2893961500 creator A5060114046 @default.
- W2893961500 creator A5063557188 @default.
- W2893961500 creator A5090362154 @default.
- W2893961500 date "2018-01-01" @default.
- W2893961500 modified "2023-09-28" @default.
- W2893961500 title "Simulation Algorithms for Symbolic Automata" @default.
- W2893961500 cites W122051056 @default.
- W2893961500 cites W1528783527 @default.
- W2893961500 cites W1543741569 @default.
- W2893961500 cites W1551563240 @default.
- W2893961500 cites W1591447482 @default.
- W2893961500 cites W1818793721 @default.
- W2893961500 cites W2007281030 @default.
- W2893961500 cites W2076334860 @default.
- W2893961500 cites W2110117589 @default.
- W2893961500 cites W2565271321 @default.
- W2893961500 cites W2570876181 @default.
- W2893961500 cites W2676873924 @default.
- W2893961500 cites W2743687969 @default.
- W2893961500 cites W2893961500 @default.
- W2893961500 cites W342816535 @default.
- W2893961500 doi "https://doi.org/10.1007/978-3-030-01090-4_7" @default.
- W2893961500 hasPublicationYear "2018" @default.
- W2893961500 type Work @default.
- W2893961500 sameAs 2893961500 @default.
- W2893961500 citedByCount "2" @default.
- W2893961500 countsByYear W28939615002018 @default.
- W2893961500 countsByYear W28939615002023 @default.
- W2893961500 crossrefType "book-chapter" @default.
- W2893961500 hasAuthorship W2893961500A5005128087 @default.
- W2893961500 hasAuthorship W2893961500A5059358773 @default.
- W2893961500 hasAuthorship W2893961500A5060114046 @default.
- W2893961500 hasAuthorship W2893961500A5063557188 @default.
- W2893961500 hasAuthorship W2893961500A5090362154 @default.
- W2893961500 hasConcept C112505250 @default.
- W2893961500 hasConcept C112876837 @default.
- W2893961500 hasConcept C11413529 @default.
- W2893961500 hasConcept C129844170 @default.
- W2893961500 hasConcept C134306372 @default.
- W2893961500 hasConcept C138885662 @default.
- W2893961500 hasConcept C151376022 @default.
- W2893961500 hasConcept C154945302 @default.
- W2893961500 hasConcept C167822520 @default.
- W2893961500 hasConcept C19768560 @default.
- W2893961500 hasConcept C2524010 @default.
- W2893961500 hasConcept C25343380 @default.
- W2893961500 hasConcept C33923547 @default.
- W2893961500 hasConcept C41008148 @default.
- W2893961500 hasConcept C41895202 @default.
- W2893961500 hasConcept C45374587 @default.
- W2893961500 hasConcept C77088390 @default.
- W2893961500 hasConcept C80444323 @default.
- W2893961500 hasConceptScore W2893961500C112505250 @default.
- W2893961500 hasConceptScore W2893961500C112876837 @default.
- W2893961500 hasConceptScore W2893961500C11413529 @default.
- W2893961500 hasConceptScore W2893961500C129844170 @default.
- W2893961500 hasConceptScore W2893961500C134306372 @default.
- W2893961500 hasConceptScore W2893961500C138885662 @default.
- W2893961500 hasConceptScore W2893961500C151376022 @default.
- W2893961500 hasConceptScore W2893961500C154945302 @default.
- W2893961500 hasConceptScore W2893961500C167822520 @default.
- W2893961500 hasConceptScore W2893961500C19768560 @default.
- W2893961500 hasConceptScore W2893961500C2524010 @default.
- W2893961500 hasConceptScore W2893961500C25343380 @default.
- W2893961500 hasConceptScore W2893961500C33923547 @default.
- W2893961500 hasConceptScore W2893961500C41008148 @default.
- W2893961500 hasConceptScore W2893961500C41895202 @default.
- W2893961500 hasConceptScore W2893961500C45374587 @default.
- W2893961500 hasConceptScore W2893961500C77088390 @default.
- W2893961500 hasConceptScore W2893961500C80444323 @default.
- W2893961500 hasLocation W28939615001 @default.
- W2893961500 hasOpenAccess W2893961500 @default.
- W2893961500 hasPrimaryLocation W28939615001 @default.
- W2893961500 hasRelatedWork W122051056 @default.
- W2893961500 hasRelatedWork W1552185717 @default.
- W2893961500 hasRelatedWork W174725595 @default.
- W2893961500 hasRelatedWork W2158129462 @default.
- W2893961500 hasRelatedWork W2408033335 @default.
- W2893961500 hasRelatedWork W2899796432 @default.
- W2893961500 hasRelatedWork W2917430486 @default.
- W2893961500 hasRelatedWork W3139811602 @default.
- W2893961500 hasRelatedWork W4289305613 @default.
- W2893961500 hasRelatedWork W94998075 @default.
- W2893961500 isParatext "false" @default.
- W2893961500 isRetracted "false" @default.
- W2893961500 magId "2893961500" @default.
- W2893961500 workType "book-chapter" @default.