MattZang

The-value-of-travel-time-unreliability

This project provides the code for our publication jurnal "The value of travel time unreliability"

Travel-time-reliability-in-transportation-networks

This project is aimed to provide a systematic and comprehensive review of the methodologies used for modeling travel time reliability in transporation networks. More importantly, such review shall work as a methodological handbook for who want to model travel time reliability.

ZANG

MILP-MTL

An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications