A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...
IEEE

Automatic programming via large language models with population self-evolution for dynamic fuzzy job shop scheduling problem

Abstract: Heuristic dispatching rules (HDRs) are widely used for solving the dynamic fuzzy job shop scheduling problem (DFJSSP). However, their performance is highly sensitive to specific scenarios ...
IEEE

Dynamic Collision Avoidance Using Velocity Obstacle-Based Control Barrier Functions

Abstract: Designing safety-critical controllers for acceleration-controlled unicycle robots is challenging, as control inputs may not appear in the constraints of control Lyapunov functions (CLFs) and ...