45 citations · 149 across the 52 of their papers we have counts for
1 paper · 2 filters
Vrunda Dave, Taylor Dohmen, Shankara Narayana Krishna +1
Regular model checking is an exploration technique for infinite state systems where state spaces are represented as regular languages and transition relations are expressed using r…