Xiaoying Bai

List of publications:

BibTeX-Download


Chair of Automatic Control (LRT/AC) Professur für Regelungstechnik
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Verification of Eventuality Properties for Discrete-time Affine Systems (2018) Bai X Conference contribution Consistent abstractions for the supervision of sequential behaviours (2017) Bai X, Moor T Conference contribution, Conference Contribution