Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.

YoungMin Kwon, Gul Agha

Browse the full ICFEM paper archive.