3 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Thomas Genet, Tristan Le Gall, Axel Legay +1
Tree Regular Model Checking (TRMC) is the name of a family of techniques for analyzing infinite-state systems in which states are represented by terms, and sets of states by Tree A…