Abstract: This paper describes a new approach for verifying complex behavior-based systems (BBS). BBS consist of rather simple interconnected behaviors. The strength of behavior-based control systems ...

Abstract: Drone detection under high-illumination conditions remains a critical challenge due to sensor saturation, which degrades visual information and limits the performance of conventional ...