Distributed Formal Methods And Sensing For Autonomous Systems