Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems

Tags:

Publications

Home
Search
All

Publications / Personal

Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Angelo Croatti  •  Enrico Denti  •  Matteo Magnini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Andrea Rafanelli  •  Federico Sabbatini

Publications / Views

Home
— clouds
tags  |  authors  |  editors  |  journals
— per year
2023  |  2022  |  2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014–1927
— per sort
in journal  |  in proc  |  chapters  |  books  |  edited  |  spec issues  |  editorials  |  entries  |  manuals  |  tech reps  |  phd th  |  others
— per status
online  |  in press  |  proof  |  camera-ready  |  revised  |  accepted  |  revision  |  submitted  |  draft  |  note
— services
ACM Digital Library  |  DBLP  |  IEEE Xplore  |  IRIS  |  PubMed  |  Google Scholar  |  Scopus  |  Semantic Scholar  |  Web of Science  |  DOI

Publication

— authors

Clare Dixon, Alan Winfield, Micheal Fisher

— editors

Roderich Groß, Lyuba Alboul, Chris Melhuish, Mark Witkowski, Tony J. Prescott, Jacques Penders

— status

published

— sort

paper in proceedings

— publication date

2011

— volume

Towards Autonomous Robotic Systems

— series

Lecture Notes in Computer Science

— volume

6856

— pages

336-347

URLs

original page  |  original PDF

identifiers

— DOI

10.1007/978-3-642-23232-9_30

— print ISBN

978-3-642-23231-2

notes

— note

12th Annual Conference (TAROS 2011), Sheffield, UK, 31 August - 2 September 2011. Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY