Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi 0001. Regular Model Checking with Regular Relations. In Evripidis Bampis, Aris Pagourtzis, editors, Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings. Volume 12867 of Lecture Notes in Computer Science, pages 190-203, Springer, 2021. [doi]
Abstract is missing.