Grant Agreement: 644047Grant Agreement • November 30th, 2016Contract TypeGrant AgreementFiledNovember 30th, 2016If the LTL specification is encoded as a formula ϕ, then the system contains no violation of the specification if the conjoined formula
If the LTL specification is encoded as a formula ϕ, then the system contains no violation of the specification if the conjoined formula