Researcher
Lina Ye
Persistent identifiers
References for this unit in public registries: they allow cross-checking with other sources and do not change when the name does.
Affiliation
Fields of expertise
discrete event systems
Predictability
Angluin
Permutation
PSPACE
faulty
model checking
patches
13 publications in HAL since 2022.
Data provenance
Sources : scanR, HAL. Data compiled on 27/10/2026. Found an error? It is corrected in the original source (HAL, RNSR, directory); see how.