Planning and verification for stochastic processes with asynchronous events
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.
Sample citation
Håkan L. S. Younes. 2004.
Planning and verification for stochastic processes with asynchronous events. In
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 1001–1002, San Jose, California. AAAI Press.Thesis summary for the Ninth AAAI/SIGART Doctoral Consortium.
Full paper (2 pages, 20 references)
Copyright © 2004, American Association for Artificial Intelligence. All rights reserved.
Presentation (27 slides)