Proving Non-inclusion of Bchi Automata Based on Monte Carlo Sampling.

Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang

Browse the full ATVA paper archive.