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: |