Metrics for real time probabilistic processes Radha Jagadeesan, DePaul University Vineet Gupta, Google Inc Prakash Panangaden, McGill University Josee.
Metrics for real time probabilistic processes
Approximate reasoning for probabilistic real-time processes