[LiTSZ20] Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling Li, Y.; Turrini, A.; Sun, X. and Zhang, L. In ATVA, pages 467-483, Springer, LNCS 12302, 2020.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-59152-6_26