AUTHOREA
Log in Sign Up Browse Preprints

December 14, 2024
Distributed Coverage Algorithm Using Multiple Robots in an Unknown Environment
Nirali Sanghvi and Rajdeep Niyogi
March 14, 2023
Formal specification and verification of a team formation protocol using TLA
Rajdeep Niyogi and Amar Nath