Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms.
Milton StaffordSiddhartha BhattacharyyaMatthew ClarkNatasha A. NeogiPublished in: SysCon (2020)
Keyphrases
- complex systems
- learning algorithm
- orders of magnitude
- reasoning systems
- computationally intensive
- computationally efficient
- high level
- autonomous systems
- physical systems
- computer vision algorithms
- mathematical models
- computationally expensive
- theoretical analysis
- optimization problems
- management system
- computational cost
- computational complexity
- data structure
- significant improvement
- mathematical foundations
- computationally demanding