Game-Based Monitors for Scenario-Based Specification.

Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung

Browse the full ICECCS paper archive.