Planning and Verification for Stochastic Processes with Asynchronous Events

We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems.

• Type: Conference
• Year: 2004
• Where: AAAI
• Authors: Håkan L. S. Younes
• Keywords: AAAI 2004, Asynchronous Events, Efficient Algorithms, Intelligent Agents, Stochastic Discrete Event