Assume-admissible synthesis

Brenguier, R; Raskin, JF; Sankur, O

Sankur, O (reprint author), IRISA, CNRS, Rennes, France.

ACTA INFORMATICA, 2017; 54 (1): 41

Abstract

In this paper, we introduce a novel rule for synthesis of reactive systems, applicable to systems made of n components which have each their own objec......

Full Text Link