Zengjie Zhang: Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion. IEEE DataPort 2024