 Learning Enabled Fast Planning and Control in Dynamic Environments with
Intermittent InformationIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2022 |
 Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal
Logic Specifications: A Decentralized and Scalable ApproachIEEE Transactions on Automatic Control (IEEE TAC), 2021 |
 Robust Pandemic Control Synthesis with Formal Specifications: A Case
Study on COVID-19 PandemicIEEE Conference on Decision and Control (CDC), 2021 |
 Controller Synthesis for Multi-Agent Systems with Intermittent
Communication and Metric Temporal Logic SpecificationsIEEE Access (IEEE Access), 2021 |
 Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal
Logic SpecificationsIEEE Transactions on Control of Network Systems (TCNS), 2020 |
 Differentially Private Controller Synthesis With Metric Temporal Logic
SpecificationsAmerican Control Conference (ACC), 2019 |