Delves into symbolic representation of state spaces using decision diagrams for high-level Petri nets, showcasing efficient encoding techniques and benchmark results.
Explores the Decision Theory Framework in Statistical Theory, viewing statistics as a random game with key concepts like admissibility, minimax rules, and Bayes rules.
