PReMo : An Analyzer for P robabilistic Re cursive Mo dels

Dominik Wojtczak; Kousha Etessami

PReMo : An Analyzer for P robabilistic Re cursive Mo dels

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

This paper describes PReMo, a tool for analyzing Recursive Markov Chains, and their controlled/game extensions: (1-exit) Recursive Markov Decision Processes and Recursive Simple Stochastic Games

Original language	English
Title of host publication	TACAS
Publisher	Springer
Pages	66-71
Number of pages	6
Publication status	Published - 2007

Access to Document

tacas07premo_longAccepted author manuscript, 212 KB

Cite this

@inproceedings{52d7e0a23192475194424a2a5616de61,

title = "PReMo : An Analyzer for P robabilistic Re cursive Mo dels",

abstract = "This paper describes PReMo, a tool for analyzing Recursive Markov Chains, and their controlled/game extensions: (1-exit) Recursive Markov Decision Processes and Recursive Simple Stochastic Games",

author = "Dominik Wojtczak and Kousha Etessami",

year = "2007",

language = "English",

pages = "66--71",

booktitle = "TACAS",

publisher = "Springer",

}

TY - GEN

T1 - PReMo : An Analyzer for P robabilistic Re cursive Mo dels

AU - Wojtczak, Dominik

AU - Etessami, Kousha

PY - 2007

Y1 - 2007

N2 - This paper describes PReMo, a tool for analyzing Recursive Markov Chains, and their controlled/game extensions: (1-exit) Recursive Markov Decision Processes and Recursive Simple Stochastic Games

AB - This paper describes PReMo, a tool for analyzing Recursive Markov Chains, and their controlled/game extensions: (1-exit) Recursive Markov Decision Processes and Recursive Simple Stochastic Games

M3 - Conference contribution

SP - 66

EP - 71

BT - TACAS

PB - Springer

ER -

PReMo : An Analyzer for P robabilistic Re cursive Mo dels

Abstract / Description of output

Access to Document

Fingerprint

Cite this