Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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

Lookup NU author(s): Dr Amy NejatiORCiD

Downloads


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