Abstract: Temporal logic is a concise way of specifying complex tasks. However, motion planning to achieve temporal logic specifications is difficult, and existing methods struggle to scale to complex ...
Abstract: The primary technology of the IR imaging seeker optoelectronic countermeasure system includes the automatic recognition and tracking of air targets. New complex IR interference factors pose ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback