TEAMBLOCKS: HYBRID ABSTRACTIONS FOR PROVABLE MULTI-AGENT AUTONOMY
Technical Report,01 May 2015,01 May 2017
BAE Systems AIT Burlington United States
Pagination or Media Count:
In this report, we describe TeamBlocks, a software library and underlying theory for the construction, analysis, and execution of provably-correct team autonomy software. TeamBlocks includes a a framework for working with polynomial hybrid automata, b a tool to generate automaton models from C code, c a runtime validator for Linear Temporal Logic LTL specifications, d a method for proof search using polynomial Sum of Squares, and e a collection of hybrid automaton models.
- Computer Programming and Software