ML Anthology

Planning and Verification for Stochastic Processes with Asynchronous Events

Håkan L. S. Younes
AAAI 2004 pp. 1001-1002
/aaai/2004/younes2004aaai-planning/

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.

PDF AAAI Semantic Scholar

Cite

Text

Younes. "Planning and Verification for Stochastic Processes with Asynchronous Events." AAAI Conference on Artificial Intelligence, 2004.

Markdown

[Younes. "Planning and Verification for Stochastic Processes with Asynchronous Events." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/younes2004aaai-planning/)

BibTeX

@inproceedings{younes2004aaai-planning,
  title     = {{Planning and Verification for Stochastic Processes with Asynchronous Events}},
  author    = {Younes, Håkan L. S.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {1001-1002},
  url       = {https://mlanthology.org/aaai/2004/younes2004aaai-planning/}
}