Paper accepted at CAV'19!

April 2019 - Paper "Security-Aware Synthesis using Delayed Action Games” has been accepted at the 31st International Conference on Computer-Aided Verification (CAV'19)!