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)
|
|
Håkan L. S. Younes | [ Home > Publications ] |
| Last modified: Wed Jun 8 12:38:23 EDT 2005 |