Robotic Swarm Control Lab
Users following RoboticSwarmControl
Souhaib Louda
souhaiblou
PhD Student (Mobile Robot Navigation, Computer Vision, and Artificial Intelligence)
Ferhat Abbas University of Setif 1 Setif, Algeria
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
