Associate Professor, Michigan State University
1 paper at NeurIPS 2025
A framework that synthesizes a tuple of optimal control policies for multi-agent systems that maximizes the probability of satisfying a desired hyperproperty.
