Toggle Main Menu Toggle Search

Open Access padlockePrints

Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach

Lookup NU author(s): Dr Sadegh Soudjani

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer International Publishing, 2018.

For re-use rights please refer to the publisher's terms and conditions.


Publication metadata

Author(s): Salamati M, Soudjani S, Majumdar R

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 15th International Conference on Quantitative Evaluation of Systems (QEST 2018)

Year of Conference: 2018

Pages: 389-406

Online publication date: 15/08/2018

Acceptance date: 30/05/2018

Date deposited: 04/11/2019

ISSN: 0302-9743

Publisher: Springer International Publishing

URL: https://doi.org/10.1007/978-3-319-99154-2_24

DOI: 10.1007/978-3-319-99154-2_24

Library holdings: Search Newcastle University Library for this item

ISBN: 9783319991542


Actions

Link to this publication


Share