Approximating Continuous Markov Processes

Keywords

Markov chain, Mathematics, Markov process, Computer science, Statistics

References

• A Model of a Photocopier Paper PathVineet Gupta, Vijay Saraswat, Peter Struß — 1999
• On the Semantic Foundations of Probabilistic VERUSChristel Baier, Edmund M. Clarke, Vasili Hartonas-Garmhausen — 1998
• Communication and concurrencyRobin Milner — 1989
• Probabilistic symbolic model checking with engineering models and applicationsVasiliki Hartonas-Garmhausen — 1998
• Time and probability in formal design of distributed systemsHans Hansson, Lars‐Åke Fredlund — 1994
• Computability on the Probability Measureson the Borel Sets of the Unit IntervalKlaus Weihrauch — 1997
• A logical characterization of bisimulation for labeled Markov processesJosée Desharnais, Abbas Edalat, Prakash Panangaden — 1998
• The Algorithmic Analysis of Hybrid SystemsRajeev Alur, Costas Courcoubetis, Nicolas Halbwachs — 1995
• A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic SystemsAlbert Benveniste, Bernard C. Levy, Éric Fabre — 1994
• Domain equations for probabilistic processesChristel Baier, Marta Kwiatkowska — 2000
• Cellular Automata And ComplexityStephen Wolfram, A. John Mallinckrodt — 1994
• A compositional approach to performance modellingJane Hillston — 1996
• Semantics of probabilistic programsDexter Kozen — 1979
• Stochastic processes as concurrent constraint programsVineet Gupta, Radha Jagadeesan, Prakash Panangaden — 1999
• Testing Preorders for Probabilistic ProcessesRance Cleaveland, Zeynep Dayar, Scott A. Smolka — 1999
• Semi-pullbacks and bisimulation in categories of Markov processesAbbas Edalat — 1999
• Model-Checking of Real-Time Systems: A Telecommunications Application Experience ReportRajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott — 1997
• Reactive, generative, and stratified models of probabilistic processesRob van Glabbeek, Scott A. Smolka, Bernhard Steffen — 1990
• A Theory of Timed AutomataRajeev Alur, David L. Dill — 1994
• HYTECH: a model checker for hybrid systemsThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi — 1997

Cited by

• Labeled Markov processes: stronger and faster approximationsVincent Danos, Josée Desharnais — 2003
• Concurrent constraint programming: towards probabilistic abstract interpretationAlessandra Di Pierro, Herbert Wiklicky — 2000
• Labelled Markov Processes: Stronger and Faster ApproximationsVincent Danos, Josée Desharnais, Prakash Panangaden — 2004
• Trace-based process algebras for real-time probabilistic systemsStefano Cattani — 2005
• Processus de Markov étiquetés et Systèmes Hybrides probabilistesJoseph Assouramou — 2012
• Application of reinforcement learning algorithms to software verificationKrishna Priya Darsini Moturu — 2006
• ε-Distance via Lévy-Prokhorov LiftingJosée Desharnais, Ana Sokolova — 2025
• A Fixpoint Logic for Labeled Markov ProcessesVincent Danos, Josée Desharnais — 2003
• Verification of Randomized Distributed AlgorithmsR. Segala — 2002
• Continuous Time and/or Continuous DistributionsJoseph Assouramou, Josée Desharnais — 2010
• Logical Relations for Monadic TypesJean Goubault-Larrecq, S. Lasota, David Nowak — 2002
• Conditional Expectation and the Approximation of Labelled Markov ProcessesV. Danos, Josée Desharnais, P. Panangaden — 2003

Related papers

• Bisimulation for Labelled Markov ProcessesJosée Desharnais, Abbas Edalat, Prakash Panangaden — 2002
• COMMUNICATIONS OF THE MOSCOW MATHEMATICAL SOCIETY: Markov processes in the continuous model of stochastic synchronizationАнатолий Дмитриевич Манита, Anatoly Manita — 2006
• Markov processes in the continuous model of stochastic synchronizationAnatoly Manita — 2006
• Stochastic Stability Analysis of Markov Switched SystemYantao Tian — 2004