1 paper
Emmanuel Filiot, Allen Joseph, Guillermo A. Pérez +1
The Hanoi Omega-Automata (HOA) format has established itself as the definitive standard for encoding I¨-regular automata in modern synthesis tools. While HOA is widely adopted du…