One of my goals over the winter break was to determine a good paper idea that had a lot of math and that would move the field of large multiagent learning systems forward.
Our contributions would be:
1. Alternative shapley value formula for swarms
2. Integration of the swarm value with k-order additive fuzzy measure theory
3. Solving the inverse problem to determine if a large system of agents is a swarm
4. Using the information to create autonomous hybrid swarm/multiagent learning environments
However, we might determine that the amount of work might be too much for one paper.
Temporal logic has been used to specify and verify emergent behaviors of a swarm in “Using Temporal Logic to Specify Emergent
Behaviours in Swarm Robotic Systems”. It seems that I want to do a similar thing.