Coordination of Multiple Agents through Modal State Logic and Influence Specifications; Part II, Applications