Login / Signup
Yinsen Zhang
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Encoding Scheme
Preprocessing
Decentralized Control
Cooperative
Top Venues
Complex.
TyDe@ICFP
</>
Publications
</>
Xue Li
,
Lulu Wang
,
Yinsen Zhang
Distributed Continuous-Time Containment Control of Heterogeneous Multiagent Systems with Nonconvex Control Input Constraints.
Complex.
2022 (2022)
Yinsen Zhang
A simpler encoding of indexed types.
TyDe@ICFP
(2021)