Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs.

Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane At Mohamed

Browse the full CAV paper archive.