Home /Research /Reactive Synthesis for Robotic Swarms
SWARM

Reactive Synthesis for Robotic Swarms

Salar Moarref, Hadas Kress‐Gazit

Year
2018
Citations
11

Keywords

RealizabilityComputer scienceTask (project management)Swarm behaviourComputational complexity theoryMathematical optimizationArtificial intelligenceAlgorithmMathematics

Related papers

Browse all SWARM papers