Inclusion Testing of Büchi Automata Based on Well-Quasiorders.

Kyveli Doveri Pierre Ganty Francesco Parolini Francesco Ranzato

Published in: CONCUR (2021)

Keyphrases

test cases
computer vision
real world
genetic algorithm
three dimensional
cooperative
support vector
software development