Abstract: Motivated by the recent interest in cyber-physical and autonomous robotic systems, we study the problem of dynamically coupled multiagent systems under a set of signal temporal logic tasks.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback