Radha Jagadeesan - Continuous Markov processes --- Approximations and metrics
Partial Labeled Markov processes provide a foundation for interacting probabilistic systems with continuous state spaces. Such systems arise in the analysis of stochastic physical systems or stochastic hybrid systems.
We develop contextual reasoning principles for reasoning about robust notions of "approximate" equivalence between concurrent interacting probabilistic systems. The key technical tools in this development are:
(Joint work with Josee Desharnais, Vineet Gupta and Prakash Panangaden)