ePrints

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates

Lookup NU author(s): Dr Amy Nejati

Downloads

• Published version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).

Publication metadata

Author(s): Nejati A, Nayak S, Schmuck 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.: 21

Online publication date: 14/05/2024

Acceptance date: 02/04/2018

Date deposited: 01/11/2024

Publisher: ACM

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

DOI: 10.1145/3641513.3650136

Library holdings: Search Newcastle University Library for this item

ISBN: 9798400705229

Share