Publication

[LiTSZ20] Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling Li, Y.; Turrini, A.; Sun, X. and Zhang, L. In ATVA, 2020.
Downloads: bib