MSO-Definable Regular Model Checking

Published in ArXiv, 2019

BibTex: @misc{dave2019msodefinable, title={MSO-Definable Regular Model Checking}, author={Vrunda Dave and Taylor Dohmen and Shankara Narayana Krishna and Ashutosh Trivedi}, year={2019}, eprint={1910.09072}, archivePrefix={arXiv}, primaryClass={cs.LO} }