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.