Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

Browse the full CAV paper archive.