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.
Explores dynamic functional connectivity methods in fMRI, emphasizing the identification of multiple brain states and their applications in understanding brain disorders.
