Abstract: Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coordinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?
Herbert Tanner Submitted by Herbert Tanner on February 1st, 2016
Subscribe to LTL control synthesis