Some games use zipped ROMs and launch similarly to MAME or FBNeo --- filename is important, see table below. Please do not attempt to contact the DICE team to request ROM files. Some games (pong, ...

Designing tests for autonomous systems is challenging due to their complexity. This work proposes a flow-based approach for reactive test synthesis from temporal logic specifications, enabling the ...