search

afrl-rq / OpenUxAS

Project for multi-UAV cooperative decision making
Other
50 stars 24 forks source link

Updated proof files #40

Closed lhumphrey closed 2 years ago

lhumphrey commented 2 years ago

Updated proof files for Route Aggregator and Assignment Tree Branch and Bound services. Properties proved vs. not proved is slightly changed (compare test.out files for these two services)