TY  - RPRT
TI  - Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling
AU  - Yong Li
AU  - Andrea Turrini
AU  - Xuechao Sun
AU  - Lijun Zhang
PY  - 2020
UR  - https://arxiv.org/abs/2007.02282
ID  - 2007.02282
ER  -