Using Automated Task Solution Synthesis To Generate Critical Junctures For Management Of Planned And Reactive Cooperation Between A Human-Controlled Blimp And An Autonomous Ground Robot