Yinsen Zhang

According to our database, Yinsen Zhang authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2022

Distributed Continuous-Time Containment Control of Heterogeneous Multiagent Systems with Nonconvex Control Input Constraints.

Xue Li, Lulu Wang, Yinsen Zhang

Complex., 2022

2021

A simpler encoding of indexed types.

Yinsen Zhang

Proceedings of the TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, 2021