Chaker Abdelaziz Kerrache

Scalable Multi-UAV Target Assignment via Permutation-Invariant Reinforcement Learning and Conditional Control-Barrier-Function Safety Filtering

Coordinating multiple unmanned aerial vehicles (UAVs) to assign targets and generate collision-free trajectories in dynamic, obstacle-dense environments is a challenging problem with applications in search-and-rescue, surveillance, and precision agriculture. Existing deep reinfor...

A Unified Algebraic Framework for Hedge Automata Using Horizontal Language Expressions

This paper presents a unified algebraic and computational framework for classical hedge automata and related algebraic structures. The framework extends the open-source TARgET library with support for hedge-based structures. The formal development discusses classical hedge automa...