The paper "Generic Partition Refinement and Weighted Tree Automata" by Hans-Peter Deifel, Stefan Milius, Lutz Schröder and Thorsten Wißmann received the Best Theory Paper Award at the Formal Methods conference 2019.
Hans-Peter Deifel presented this paper at the conference in Porto on October 10, ...