Abstract: Satisfiability Modulo Theories (SMT) plays a critical role in various software engineering applications, including program verification, symbolic execution, and automated test generation.
Abstract: Efficient and accurate path planning algorithm of unmanned vehicles for unstructured road is of great significant for field disaster relief. An improved A–star algorithm for unmanned vehicle ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results