Properties of a formal method for prediction of emergent behaviors in swarm-based systems
- Christopher Rouff
- , Mike Hinchey
- , Walt Truszkowski
- , James Rash
- SAIC
- NASA Goddard Space Flight Center
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review