TY  - RPRT
TI  - Regular Model Checking with Regular Relations
AU  - Vrunda Dave
AU  - Taylor Dohmen
AU  - Shankara Narayana Krishna
AU  - Ashutosh Trivedi
PY  - 2021
UR  - https://arxiv.org/abs/1910.09072
ID  - 1910.09072
ER  -