Complementing Büchi Automata with Ranker
Authors: Vojtěch Havlena, Ondrej Lengal and Barbora Šmahlíková
Paper Information
| Title: | Complementing Büchi Automata with Ranker |
| Authors: | Vojtěch Havlena, Ondrej Lengal and Barbora Šmahlíková |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Büchi automata, complementation, inherently weak automata, semi-deterministic automata |
| Pages: | 13 |
| Talk: | Aug 09 12:10 (Session 102A: Automata and Logic) |
| Paper: |  |