@inproceedings{dblp-conf-fct-davedkt21,
  title = {Regular Model Checking with Regular Relations},
  author = {Vrunda Dave and Taylor Dohmen and Shankara Narayanan Krishna and Ashutosh Trivedi},
  year = {2021},
  url = {https://dblp.org/rec/conf/fct/DaveDKT21},
  booktitle = {FCT 2021}
}