Research

• Temporal Logic Control of Traffic Networks
• Finite State Abstractions for Mixed-Monotone Control Systems
• Scalable Control Schemes Using Assume-Guarantee Paradigms