Delves into symbolic representation of state spaces using decision diagrams for high-level Petri nets, showcasing efficient encoding techniques and benchmark results.
Explores the concept of explainable neural networks and their significance in improving model interpretability, particularly in finance and house price valuation.
