While many applications of automata in formal methods can use nondeterministic automata. some applications. most notably synthesis. need deterministic or good-for-games (GFG) automata. https://yeswellneses.shop/product-category/toys/