Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Abstract Our work aims at developing a robust discriminant controller for robot programming by demonstration. It addresses two core issues of imitation learning, namely what to...
Abstract: This paper considers the problem of cooperative power control in distributed small cell wireless networks. We introduce a novel framework, based on repeated games, which ...
Mael Le Treust, Hamidou Tembine, Samson Lasaulce, ...
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
Abstract. Access control for semi-structured data is nontrivial, as witnessed by the number of access control approaches in recent literature. Recently a case has been made for exp...