Zhe Xu

Latest

• Probabilistic control of heterogeneous swarms subject to graph temporal logic specifications: A decentralized and scalable approach
• Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications
• Policy synthesis for switched linear systems with Markov decision process switching