5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
Lorenzo Clemente
We study novel simulation-like preorders for quotienting nondeterministic Büchi automata. We define fixed-word delayed simulation, a new preorder coarser than delayed simulation. W…