Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.
Covers the Hedonic Pricing Method for assessing implicit prices of goods and introduces the Contingent Valuation Method for estimating environmental goods' value.
Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
