Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
Explores error estimation in numerical methods for solving differential equations, focusing on local truncation error, stability, and Lipschitz continuity.
