Model Checking Matrix Product States Against Linear Chain Logic.

Ming Xu, Yihao Chen, Ji Guan

Browse the full CAV paper archive.