Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...

Introduction Application of artificial intelligence (AI) tools in the healthcare setting gains importance especially in the domain of disease diagnosis. Numerous studies have tried to explore AI in ...

Abstract: Safe motion control in unknown environments is one of the challenging tasks in robotics, such as autonomous navigation. Control Barrier Function (CBF), as a strong math-ematical tool, has ...