The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...
Abstract: In emergency rescue scenarios, air-to-ground (A2G) integrated mobile ad hoc networks (MANETs) face challenges such as dynamic topology, limited resources, and unstable communication ...
Abstract: This letter addresses a proactive resource allocation problem in an unmanned aerial vehicles (UAV)-assisted vehicle-to-everything (V2X) communication network. The problem, which can be ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results