Search Sciweavers | Sciweavers

682 search results - page 22 / 137

» One-Counter Markov Decision Processes

click to vote

ATAL
2007
Springer

91views Intelligent Agents» more ATAL 2007»

Distributed intrusion detection in partially observable Markov decision processes

15 years 6 months ago

Download euler.mcs.utulsa.edu

Doran Chakraborty, Sandip Sen

claim paper

Read More »

click to vote

CONCUR
2007
Springer

101views Distributed And Parallel Com...» more CONCUR 2007»

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

15 years 6 months ago

Download www.fi.muni.cz

Tomás Brázdil, Vojtech Forejt

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

78views Software Engineering» more FSTTCS 2007»

Markov Decision Processes with Multiple Long-Run Average Objectives

15 years 6 months ago

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

click to vote

QEST
2006
IEEE

93views Modeling and Simulation» more QEST 2006»

Game-based Abstraction for Markov Decision Processes

15 years 5 months ago

Download qav.comlab.ox.ac.uk

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

click to vote

FSTTCS
2005
Springer

138views Software Engineering» more FSTTCS 2005»

On the Controller Synthesis for Finite-State Markov Decision Processes

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers