activity
20182026
most citedFast Matching of Regular Patterns with Synchronizing Counting (Technical Report)

1 citations · 6 across the 7 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018★ 1 cited

Simulation Algorithms for Symbolic Automata (Technical Report)

Lukáš Holík, Ondřej Lengál, Juraj Síč +2

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 alp…