Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Amy Nejati.

Newcastle AuthorsTitleYearFull text
Dr Amy Nejati
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates2024
Dr Amy Nejati
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates2023
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach2023
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach2023
Dr Amy Nejati
Dr Sadegh Soudjani
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems2022
Dr Amy Nejati
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates2022
Dr Amy Nejati
Dr Sadegh Soudjani
Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems2021
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems2021