Enhancing Security in Multi-Robot Systems through Co-Observation Planning, Reachability Analysis, and Network Flow.
Ziqi YangRoberto TronPublished in: CoRR (2024)
Keyphrases
- network flow
- multi robot systems
- reachability analysis
- multiple robots
- multi robot
- model checking
- mobile robot
- markov decision processes
- linear programming
- minimum cost
- min cost
- integer programming
- path planning
- autonomous robots
- multi agent
- motion planning
- timed automata
- incremental algorithms
- heuristic search
- optimization model
- np hard
- state space
- multi agent systems