The following pages link to Anton Pirogov (Q1622999):
Displaying 5 items.
- On finitely ambiguous Büchi automata (Q1623000) (← links)
- Ambiguity, weakness, and regularity in probabilistic Büchi automata (Q2200844) (← links)
- Flat model checking for counting LTL using quantifier-free Presburger arithmetic (Q2287113) (← links)
- New Optimizations and Heuristics for Determinization of Büchi Automata (Q3297598) (← links)
- (Q5092321) (← links)
