Planning and Verification for Stochastic Processes with Asynchronous Events

Håkan L. S. Younes

Abstract
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.

Full paper: PDF, PS (2 pages, 20 references)
Copyright © 2004, American Association for Artificial Intelligence. All rights reserved.

Presentation: PDF (27 slides)


Valid XHTML 1.0! Håkan L. S. Younes Home > Publications ]
Last modified: Wed Jun 8 12:38:23 EDT 2005