IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Author(s): Wooding B, Lavaei A

Editor(s): Hillston J; Soudjani S; Waga M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: International Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science

Year of Conference: 2024

Pages: 249–267

Print publication date: 29/08/2024

Online publication date: 29/08/2024

Acceptance date: 02/04/2024

ISSN: 0302-9743

Publisher: Springer

URL: https://doi.org/10.1007/978-3-031-68416-6_15

DOI: 10.1007/978-3-031-68416-6_15

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783031684159

ePrints