Explores shield synthesis for runtime enforcement in reactive systems, ensuring correct behavior with minimal deviation, illustrated with examples like traffic light controllers and Pac-Man.
Explores the Nobel Prize-winning discovery of replica and cavity methods in complex systems, focusing on the random energy model and the application of probability theory.