You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Royal Holloway, University of London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Royal Holloway, University of London

Return to search Previous output Next output

Output 11 of 90 in the submission

Article title

Abstract probabilistic automata

Type

D - Journal article

DOI

10.1016/j.ic.2013.10.002

Title of journal

Information and Computation

Article number

Volume number

232

Issue number

First page of article

ISSN of journal

0890-5401

Year of publication

2013

URL

http://www.sciencedirect.com/science/article/pii/S0890540113001132

Number of additional authors

Additional information

<07>This paper, an earlier version of which was presented at VMCAI 2011, proposes the first complete abstraction and compositional theory for systems with both non-determinism and stochastic information. It extends well known work on modal automata (Larsen 89) and probabilistic automata (Segala) to an abstraction theory with operations such as refinement and logical/structural composition. This theory has served as the basis for a new model of abstraction for stochastic systems. The work has latter been exploited by Katoen and several inspired models are currently studied by Marta Kwiatowska.

Interdisciplinary

Cross-referral requested

Research group

D - Distributed and Global Computing

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract