Delves into symbolic representation of state spaces using decision diagrams for high-level Petri nets, showcasing efficient encoding techniques and benchmark results.
Delves into the geometric insights of deep learning models, exploring their vulnerability to perturbations and the importance of robustness and interpretability.