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 social impact of infrastructure projects on children and cultural heritage, using real-world examples to illustrate the challenges and importance of early consideration of social criteria.