Area of research
Sociology and Political Science · Computer Networks and Communications
Research interest
Research focused on Linear temporal logic and Robot, with related work in Markov decision process, Vertex (graph theory), TRIPS architecture. Notable publications include 'Robotic load balancing for mobility-on-demand systems', 'Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints', and 'Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints'.
LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints
Persistent monitoring in discrete environments: Minimizing the maximum weighted latency between observations
Robotic load balancing for mobility-on-demand systems
Robust multi-robot optimal path planning with temporal logic constraints