The following pages link to Advanced automata minimization (Q2931784):
Displayed 11 items.
- Organising LTL monitors over distributed systems with a global clock (Q681471) (← links)
- Parity game reductions (Q1656552) (← links)
- Multi-buffer simulations: decidability and complexity (Q1784963) (← links)
- Minimization of Visibly Pushdown Automata Using Partial Max-SAT (Q3303909) (← links)
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata (Q3303912) (← links)
- Topological Characterisation of Multi-Buffer Simulation (Q4989168) (← links)
- (Q5013817) (← links)
- (Q5015280) (← links)
- Coinductive Algorithms for Büchi Automata (Q5158653) (← links)
- On the power of finite ambiguity in Büchi complementation (Q6040669) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)