Approximate Model Checking of PCTL Involving Unbounded Path Properties.

Samik Basu, Arka P. Ghosh, Ru He

Browse the full ICFEM paper archive.