Reactive synthesis for robotic swarms

DOI10.1007/978-3-030-00151-3_5OpenAlexW2888097598MaRDI QIDQ1631219

Salar Moarref, Hadas Kress-Gazit

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_5

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Reactive synthesis for robotic swarms