SMT-Based Optimal Deployment of Mobile Rechargers

Tanmoy Kundu,Indranil Saha,Tanmoy Kundu,Indranil Saha

Efficient recharging is an essential requirement for autonomous mobile robots. In an indoor robotic application, charging stations can be installed offline. However, frequent trips to the charging stations cause inefficiency in the performance of the mobile robots. In an outdoor environment, a charging station cannot even be installed easily. We propose a framework and algorithms for enabling a gr...