IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024)

Year of Conference: 2024

Pages: Article no.: 30

Online publication date: 14/05/2024

Acceptance date: 11/05/2024

Publisher: ACM

URL: https://doi.org/10.1145/3641513.3652532

DOI: 10.1145/3641513.3652532

Notes: Poster

Library holdings: Search Newcastle University Library for this item

ISBN: 9798400705229

ePrints