论文标题
与排名相辅相成的Büchi自动机（技术报告）
Complementing Büchi Automata with Ranker (Technical Report)
论文作者
论文摘要
我们介绍了补充BüchiAutomata（BAS）的工具排名。 Ranker建立在我们以前基于等级的BA互补的优化基础上，并使用众多启发式方法进一步推动它们，以产生更小的自动机。此外，它包含用于补充（i）固有弱弱的自动机和（ii）半确定性自动机的专业构造的新颖优化，这些都以鲁棒的工具提供。正如现实世界中的广泛的实验评估中所示，优化可显着提高排名的可用性，在大多数情况下，在大多数情况下，与其他最先进的工具相比，Ranker在大多数情况下产生的级别的补充。
We present the tool Ranker for complementing Büchi automata (BAs). Ranker builds on our previous optimizations of rank-based BA complementation and pushes them even further using numerous heuristics to produce even smaller automata. Moreover, it contains novel optimizations of specialized constructions for complementing (i) inherently weak automata and (ii) semi-deterministic automata, all delivered in a robust tool. The optimizations significantly improve the usability of Ranker, as shown in an extensive experimental evaluation with real-world benchmarks, where Ranker produced in the majority of cases a strictly smaller complement than other state-of-the-art tools.
