LTL control synthesis

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

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?