Login / Signup
Edmond Gjondrekaj
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Robotic Systems
Object Manipulation
Imitation Learning
Collective Behavior
Top Venues
SAC
ICFEM
</>
Publications
</>
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)
Edmond Gjondrekaj
,
Michele Loreti
,
Rosario Pugliese
,
Francesco Tiezzi
Modeling adaptation with a tuple-based coordination language.
SAC
(2012)