Talk on Sufficient Conditions for Specifications Using the Until Operator at the HSCC 202013просмотровГод назад