Graded-CTL: Satisfiability and Symbolic Model Checking.

Alessandro Ferrante, Margherita Napoli, Mimmo Parente

Browse the full ICFEM paper archive.