Search Results for author:
Found 1 papers, 0 papers with code
Active Learning of Mealy Machines with Timers
However, whereas Waga needs exponentially many concrete queries to implement a single symbolic query, we only need a polynomial number.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
