Planning and Verification for Stochastic Processes with Asynchronous Events

13 years 6 months ago

Download www.aaai.org

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.

Håkan L. S. Younes

Real-time Traffic

AAAI 2004 | Asynchronous Events | Efficient Algorithms | Intelligent Agents | Stochastic Discrete Event |

claim paper

» A Framework for Planning in Continuoustime Stochastic Domains

» Solving Generalized SemiMarkov Decision Processes Using Continuous PhaseType Distributions

» An Incremental Samplingbased Algorithm for Stochastic Optimal Control

» Exploring the CSCW spectrum using process mining

» Discrete Event Simulation Experiments and Geographic Information Systems in Congestion Man...

» Incremental Verification for OntheFly Controller Synthesis

» Checking Correctness of Transactional Behaviors

» Productmix analysis with Discrete Event Simulation

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2004
Where	AAAI
Authors	Håkan L. S. Younes

Comments (0)

Sciweavers

Planning and Verification for Stochastic Processes with Asynchronous Events

AAAI 2004 | Asynchronous Events | Efficient Algorithms | Intelligent Agents | Stochastic Discrete Event |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers