Introduces Discrete Choice Analysis, covering scale, depth, data collection, and statistical inference.
Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Explores Time Series, covering model specification, diagnostics, and forecasting methods.
Explores Stated Preferences (SP) methods, choice models, and experimental design for predicting individual behavior and market demand.
Explores the Red bus/Blue bus paradox, nested logit models, and multivariate extreme value models in transportation.
Introduces formal verification and its advantages over traditional testing methods, discussing automated theorem proving and compiling correctness statements into verification conditions.
