Home /Research /Verification of Visibility-Based Properties on Multiple Moving Robots
OTHER

Verification of Visibility-Based Properties on Multiple Moving Robots

Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi

Year
2017
Citations
2

Keywords

RobotComputer scienceVisibilityVisibility graphBounded functionState spaceGraphState (computer science)Path (computing)Domain (mathematical analysis)

Related papers

Browse all OTHER papers