Paper accepted to ATVA 2020

less than 1 minute read

Published:

Paper titled “Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling” is accepted for presentation at ATVA 2020. This is joint work with Andrea Turrini, Xuechao Sun, and Lijun Zhang.