Teamblocks: Hybrid Abstractions for Provable Multi-agent Autonomy Bae Systems Ait July 2017 Final Technical Report Approved for Public Release; Distribution Unlimited

Cite this paper

@inproceedings{COPY2017TeamblocksHA, title={Teamblocks: Hybrid Abstractions for Provable Multi-agent Autonomy Bae Systems Ait July 2017 Final Technical Report Approved for Public Release; Distribution Unlimited}, author={STINFO COPY and William D. Lewis and JULIE BRICHACEK and P. Martin}, year={2017} }