Manuele Brambilla

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Topics

Formal Verification

Control Software

Top Venues

ACM Trans. Auton. Adapt. Syst.

Publications

Mauro Birattari, Antoine Ligot, Darko Bozhinoski, Manuele Brambilla, Gianpiero Francesca, Lorenzo Garattoni, David Garzón-Ramos, Ken Hasselmann, Miquel Kegeleirs, Jonas Kuckling, Federico Pagnozzi, Andrea Roli, Muhammad Salman, Thomas Stützle
Automatic Off-Line Design of Robot Swarms: A Manifesto. Frontiers Robotics AI 6 (2019)
Amos Sironi, Manuele Brambilla, Nicolas Bourdis, Xavier Lagorce, Ryad Benosman
HATS: Histograms of Averaged Time Surfaces for Robust Event-Based Object Classification. CVPR (2018)
Amos Sironi, Manuele Brambilla, Nicolas Bourdis, Xavier Lagorce, Ryad Benosman
HATS: Histograms of Averaged Time Surfaces for Robust Event-based Object Classification. CoRR (2018)
Arne Brutschy, Lorenzo Garattoni, Manuele Brambilla, Gianpiero Francesca, Giovanni Pini, Marco Dorigo, Mauro Birattari
The TAM: abstracting complex tasks in swarm robotics research. Swarm Intell. 9 (1) (2015)
Manuele Brambilla, Arne Brutschy, Marco Dorigo, Mauro Birattari
Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking. ACM Trans. Auton. Adapt. Syst. 9 (4) (2015)
Gianpiero Francesca, Manuele Brambilla, Arne Brutschy, Lorenzo Garattoni, Roman Miletitch, Gaëtan Podevijn, Andreagiovanni Reina, Touraj Soleymani, Mattia Salvaro, Carlo Pinciroli, Franco Mascia, Vito Trianni, Mauro Birattari
AutoMoDe-Chocolate: automatic design of control software for robot swarms. Swarm Intell. 9 (2-3) (2015)
Gianpiero Francesca, Manuele Brambilla, Arne Brutschy, Vito Trianni, Mauro Birattari
AutoMoDe: A novel approach to the automatic design of control software for robot swarms. Swarm Intell. 8 (2) (2014)
Gianpiero Francesca, Manuele Brambilla, Arne Brutschy, Lorenzo Garattoni, Roman Miletitch, Gaëtan Podevijn, Andreagiovanni Reina, Touraj Soleymani, Mattia Salvaro, Carlo Pinciroli, Vito Trianni, Mauro Birattari
An Experiment in Automatic Design of Robot Swarms - AutoMoDe-Vanilla, EvoStick, and Human Experts. ANTS Conference (2014)
Marco Dorigo, Mauro Birattari, Manuele Brambilla
Swarm robotics. Scholarpedia 9 (1) (2014)
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intell. 7 (2-3) (2013)
Manuele Brambilla, Eliseo Ferrante, Mauro Birattari, Marco Dorigo
Swarm robotics: a review from the swarm engineering perspective. Swarm Intell. 7 (1) (2013)
Marco Dorigo, Dario Floreano, Luca Maria Gambardella, Francesco Mondada, Stefano Nolfi, Tarek Baaboura, Mauro Birattari, Michael Bonani, Manuele Brambilla, Arne Brutschy, Daniel Burnier, Alexandre Campo, Anders Lyhne Christensen, Antal Decugniere, Gianni Di Caro, Frederick Ducatelle, Eliseo Ferrante, Alexander Förster, Javier Martinez Gonzales, Jerome Guzzi, Valentin Longchamp, Stéphane Magnenat, Nithin Mathews, Marco Antonio Montes de Oca, Rehan O'Grady, Carlo Pinciroli, Giovanni Pini, Philippe Rétornaz, James F. Roberts, Valerio Sperati, Timothy S. Stirling, Alessandro Stranieri, Thomas Stützle, Vito Trianni, Elio Tuci, Ali Emre Turgut, Florian Vaussard
Swarmanoid: A Novel Concept for the Study of Heterogeneous Robotic Swarms. IEEE Robotics Autom. Mag. 20 (4) (2013)
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS (2012)
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM (2012)
Carlo Pinciroli, Vito Trianni, Rehan O'Grady, Giovanni Pini, Arne Brutschy, Manuele Brambilla, Nithin Mathews, Eliseo Ferrante, Gianni Di Caro, Frederick Ducatelle, Mauro Birattari, Luca Maria Gambardella, Marco Dorigo
ARGoS: a modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intell. 6 (4) (2012)
Manuele Brambilla, Carlo Pinciroli, Mauro Birattari, Marco Dorigo
Property-driven design for swarm robotics. AAMAS (2012)
Gianpiero Francesca, Manuele Brambilla, Vito Trianni, Marco Dorigo, Mauro Birattari
Analysing an Evolved Robotic Behaviour Using a Biological Model of Collegial Decision Making. SAB (2012)
Carlo Pinciroli, Vito Trianni, Rehan O'Grady, Giovanni Pini, Arne Brutschy, Manuele Brambilla, Nithin Mathews, Eliseo Ferrante, Gianni Di Caro, Frederick Ducatelle, Timothy S. Stirling, Álvaro Gutiérrez, Luca Maria Gambardella, Marco Dorigo
ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics. IROS (2011)
Eliseo Ferrante, Manuele Brambilla, Mauro Birattari, Marco Dorigo
"Look out!": Socially-Mediated Obstacle Avoidance in Collective Transport. ANTS Conference (2010)
Eliseo Ferrante, Manuele Brambilla, Mauro Birattari, Marco Dorigo
Socially-Mediated Negotiation for Obstacle Avoidance in Collective Transport. DARS (2010)
Manuele Brambilla, Carlo Pinciroli, Mauro Birattari, Marco Dorigo
A reliable distributed algorithm for group size estimation with minimal communication requirements. ICAR (2009)