Explanation of Demonstration: We will present our recent progress on how the coordination of behaviors of automated vehicles can help to improve the safety and efficiency of transportations systems. First, we will demonstrate how to leverage real-time scheduling theory to improve traffic flow and reduce congestion at intersections. Second, we will show how to achieve collision avoidance when a malicious party is present.