Formal synthesis

相关论文数: 1

顶级研究者

Panos J. Antsaklis

研究机构: —

Kimon P. Valavanis

研究机构: —

Hai Lin

研究机构: —

Jin Dai

研究机构: —

Alessandro Benini

研究机构: —

Matthew J. Rutherford

研究机构: —

最高引用论文

Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination

Jin Dai, Alessandro Benini, Hai Lin, Panos J. Antsaklis, Matthew J. Rutherford, Kimon P. Valavanis

引用数: 10 • 2016

相关技术

Artificial intelligenceComputer scienceRobotDistributed computingHuman–computer interactionMulti-agent systemSoftware engineeringSupervisorFormal specification