Delves into symbolic representation of state spaces using decision diagrams for high-level Petri nets, showcasing efficient encoding techniques and benchmark results.
Explores landslide hazard assessment through empirical, deterministic, and advanced modeling techniques, emphasizing the importance of data quality and physics knowledge.
