Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Markov models
• Formal methods
• Graph theory
• Markov chain
• Process calculus
• Semantics
• Stochastic process
• Mathematics

Assisting Persons with Dementia during Handwashing Using a Partially Observable Markov Decision Process Jesse Hoey1 , Axel von Bertoldi2 , Pascal Poupart3 , and Alex Mihailidis2 1

Source URL: cs.uwaterloo.ca

QUASISTATIONARITY AND THE RELATIVE ENTROPY OF PROBABILITY MEASURES L.A. BREYER Abstract. Consider a Markov process X with finite lifetime. In this paper, we derive sufficient conditions for the convergence of the law of

Source URL: www.lbreyer.com

TASK The arrival of new customers is modeled in the following way. Let X_t be a continuous time Markov chain, which occupies state i at time 0. Conditional on all the future dynamics of X_t, process N_t is a Poisson proc

Source URL: www.stanfordphd.com

EE365: Markov Decision Problems Markov decision process Markov decision problem Examples

Source URL: www.nicholasmoehle.com

Moduli of Continuity of Local Times of Strongly Symmetric Markov Processes via Gaussian Processes 1. Introduction. In this paper we show that the moduli of continuity of the local times of a large class of Markov process

Source URL: www.math.csi.cuny.edu

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Source URL: homepages.inf.ed.ac.uk

Mutual State-Based Capabilities for Role Assignment in Heterogeneous Teams Somchaya Liemhetcharat Manuela Veloso

Source URL: somchaya.org

• Probability theory
• Probability
• Statistics
• Robot
• Algorithm
• Expected value
• Variance
• Ethics
• Markov decision process
• Swarm behaviour

Online Development of Assistive Robot Behaviors for Collaborative Manipulation and Human-Robot Teamwork Bradley Hayes and Brian Scassellati Yale University Computer Science Department New Haven, CT 06511

Source URL: bradhayes.info

• Artificial intelligence
• Robotics
• Dynamic programming
• Markov processes
• Stochastic control
• Machine learning
• Probability theory
• Probability
• Partially observable Markov decision process
• Humanoid robot
• Reinforcement learning
• Humanrobot interaction

RANDOM-PLAYER GAMES* Igal Milchtaich Department of Economics, Bar-Ilan University, Ramat Gan 52900, Israel Email: Web: http://faculty.biu.ac.il/~milchti Abstract. This paper introduces general g

Source URL: faculty.biu.ac.il

• Mathematical analysis
• Probability
• Stochastic processes
• Probability theory
• Lvy processes
• Markov processes
• Poisson point process
• Random element
• Probability distribution
• Point process
• Random variable
• Measure