Planning and verification for stochastic processes with asynchronous events

Authors:
Håkan L. S. Younes
Affiliations:
Computer Science Department, Carnegie Mellon University, Pittsburgh, PA
Venue:
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Year:
2004

Citing 6
Cited 0

World modeling for the dynamic construction of real-time control plans

Artificial Intelligence
Model-checking continuous-time Markov chains

ACM Transactions on Computational Logic (TOCL)
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Model-Checking Algorithms for Continuous-Time Markov Chains

IEEE Transactions on Software Engineering
Solving generalized semi-Markov decision processes using continuous phase-type distributions

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
VHPOP: versatile heuristic partial order planner

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

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.