Incremental Minimization of Symbolic Automata
Book chapter (March 2020)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Book chapter (March 2020)
Article in Theory of Computing Systems (September 2017)
Article in Journal of Computing and Information Technology (December 2016)