If you grew up with PAC-MAN, then you’ll be in for a real treat. This year-end, it’s coming back, not as a game on a screen, but as a full-sized real-life carnival experience on the shores of Sentosa.

Abstract: This study presents a framework that procedurally generates maze-like levels and leverages an automated verification technique called model checking to verify and produce a winning action ...