On the Power of Finite Ambiguity in Büchi Complementation.

Weizhi Feng Yong Li Andrea Turrini Moshe Y. Vardi Lijun Zhang

Published in: CoRR (2021)

Keyphrases

power consumption
information gain
real time
three dimensional