Error message

Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/maininst/public_html/child/sites/all/modules/biblio/includes/biblio_theme.inc).

Verifiable Control of Robotic Swarm from High-level Specifications

Title	Verifiable Control of Robotic Swarm from High-level Specifications
Publication Type	Conference Paper
Authors	Chen, J, Moarref, S, Kress-Gazit, H