Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis
Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications