A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.

Antonis Achilleos, Lo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb

Browse the full Coordination paper archive.