Delves into symbolic representation of state spaces using decision diagrams for high-level Petri nets, showcasing efficient encoding techniques and benchmark results.
Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
Covers the Hedonic Pricing Method for assessing implicit prices of goods and introduces the Contingent Valuation Method for estimating environmental goods' value.
