Scientific Output

M. M. Bersani, M. Soldo, M. Claudio, P. Pelliccione and M. Rossi, PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers, Formal Aspects of Computing journal, 2020.

F. Chen and D. V. Dimarogonas, Leader-follower Formation Control with Prescribed Performance Guarantees, IEEE Transactions on Control of Network Systems, 2020.

C. K. Verginis and D. V. Dimarogonas, Asymptotic Tracking of Second-Order Nonsmooth Feedback Stabilizable Unknown Systems with Prescribed Transient Response, IEEE Transactions on Automatic Control, 2020.

C. K. Verginis and D. V. Dimarogonas, Adaptive Robot Navigation with Collision Avoidance Subject to 2nd-order Uncertain Dynamics, Automatica, 2020.

L. Lindemann and D. V. Dimarogonas, Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks, IEEE Transactions on Control of Network Systems, 2020.

A. Nikou, S. Heshmati-alamdari and D. V. Dimarogonas, Scalable Time-constrained Planning of Multi-robot Systems, Autonomous Robots, 2020.

L. Lindemann and D. V. Dimarogonas, Funnel Control for Fully Actuated Systems under a Fragment of Signal Temporal Logic Specifications, Nonlinear Analysis: Hybrid Systems, 2020.

V. C. Nicodemou, I. Oikonomidis, and A. Argyros, Single Shot 3D Hand Pose Estimation Using Radial Basis Function Networks Trained on Synthetic Data, Pattern Analysis and Applications, pp. 415-428, 2020.

W. Ren, and D. V. Dimarogonas, Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation, Automatica, vol. 114, 2020.

D. Boskos, and D. V. Dimarogonas, Finite Horizon Discrete Models for Multi-agent Control Systems with Coupled Dynamics, Automatica, vol. 115, 2020.

C. Menghi, C. Tsigkanos, P. Pelliccione, C. Ghezzi, T. Berger, Specification Patterns for Robotic Missions, IEEE Transactions on Software Engineering (TSE), 2019.

A. Nikou, and D. V. Dimarogonas, Decentralized Tube-based Robust Model Predictive Control for Uncertain Nonlinear Multi-agent Systems, International Journal of Robust and Nonlinear Control, 2019.

D. Boskos and D. V. Dimarogonas, Decentralized Abstractions For Multi-Agent Systems Under Coupled Constraints,European Journal of Control, pp.1-16, 2019.

L. Lindemann, J. Nowak, L. Schönbächler, M. Guo, J. Tumova, and D. V. Dimarogonas, Coupled Multi-robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks, IEEE Transactions on Control Systems Technology, 2019.

D. Boskos, and D. V. Dimarogonas, Abstractions of Varying Decentralization Degree for Reachability of Coupled Multi-agent Systems, SIAM Journal on Control and Optimization, vol. 57, no. 5, pp. 3471-3495, 2019.

L. Lindemann, and D. V. Dimarogonas, Control Barrier Functions for Signal Temporal Logic Tasks, IEEE Control Systems Letters, 2019.

L. Lindemann, and D. V. Dimarogonas, Feedback Control Strategies for Multi-agent Systems under A Fragment of Signal Temporal Logic tasks, Automatica, 2019.

L. Lindemann, and D. V. Dimarogonas, Control Barrier Functions for Multi-agent Systems under Conflicting Local Signal Temporal Logic Tasks, IEEE Control Systems Letters, 2019.

C. K. Verginis, M. Mastellaro, and D. V. Dimarogonas, Robust Cooperative Manipulation without Force/Torque Measurements: Control design and experiments, IEEE Transactions on Control Systems Technology, 2019.

C. K. Verginis, A. Nikou, and D. V. Dimarogonas, Robust Formation Control in SE(3) for Tree-graph Structures with Prescribed Transient and Steady State Performance, Automatica, vol. 103, p. 538-548, 2019.

C. K. Verginis, and D. V. Dimarogonas, Closed-form Barrier Functions for Multi-agent Ellipsoidal Systems with Uncertain Lagrangian Dynamics, IEEE Control Systems Letters, vol. 3, no.3 , 2019.

D. Bozhinoski, D. Garlan, Ivano Malavolta, and P. Pelliccione, Managing Safety and Mission Completion via Collective Run-time Adaptation, Journal of Systems Architecture, vol. 95, pp. 19-35, 2019.

D. Bozhinoski, D. Di Ruscio, I. Malavolta, P. Pelliccione, and I. Crnkovic, Safety for Mobile Robotic Systems: A Systematic Mapping Study from A Software Engineering Perspective, Journal of Systems and Software, vol. 151, pp. 150-179, 2019.

C. Menghi, P. Spoletini, M. Chechik, and C. Ghezzi, A Verification-driven Framework for Iterative Design of Controllers, Formal Aspects of Computing, pp. 1-44, 2019.

A. Nikou, D. Boskos, J. Tumova, and D. V. Dimarogonas, On the Timed Temporal Logic Planning of Coupled Multi-agent Systems, Automatica, vol. 97, p. 339-345, 2018.

C. K. Verginis, and D. V. Dimarogonas, Timed Abstractions for Distributed Cooperative Manipulation, Autonomous Robots, vol. 42, no. 4, pp. 781-799, 2018.

M. Guo, D. Boskos, J. Tumova, and D. V. Dimarogonas, Distributed Hybrid Control Synthesis for Multi-agent Systems from High-level Specifications, In Control Subject to Computational and Communication Constraints, pp. 241-260, Springer, Cham, 2018.

D. Bautembach, I. Oikonomidis and A. Argyros, Filling the Joints: Completion and Recovery of Incomplete 3D Human Poses. Technologies, MDPI, vol. 6, no. 4, October 2018.

C. Panagiotakis, K. Papoutsakis and A.A. Argyros, A Graph-based Approach for Detecting Common Actions in Motion Capture Data and Videos, Pattern Recognition, Elsevier, vol. 79, pp. 1-11, July 2018.

C. P. Bechlioulis and K. J. Kyriakopoulos, Collaborative Multi-Robot Transportation in Obstacle-Cluttered Environments via Implicit Communication. Frontiers in Robotics and AI, Researchers and Industry, 2018.

C. Vrohidis, P. Vlantis, C. P. Bechlioulis, and K. J. Kyriakopoulos, Prescribed Time Scale Robot Navigation, IEEE Robotics and Automation Letters, 2018.

P. Schillinger, M. Bürger, and D. V. Dimarogonas, Simultaneous Task Allocation and Planning for Temporal Logic Goals in Heterogeneous Multi-Robot Systems, The International Journal of Robotics Research, 2018.

P. Panteleris, I. Oikonomidis and A. Argyros, Using A Single RGB Frame for Real Time 3D Hand Pose Estimation in the Wild. In ArXiv e-prints, December 2017.

S. Yuan, G. Garcia-Hernando, B. Stenger, G. Moon, J.Y. Chang, K.M. Lee, P. Molchanov, J. Kautz, S. Honari, L. Ge, J. Yuan, X. Chen, G. Wang, F. Yang, K. Akiyama, Y. Wu, Q. Wan, M. Madadi, S. Escalera, S. Li, D. Lee, I. Oikonomidis, A. Argyros and T.-K. Kim, 3D Hand Pose Estimation: From Current Achievements to Future Goals, In ArXiv e-prints, December 2017.

P. Roque, S. Heshmati-alamdari, A. Nikou and D. V. Dimarogonas, Decentralized Formation Control for Multiple Quadrotors under Unidirectional Communication Constraints, IFAC World Congress (IFAC-WS), 2020.

P. Roque, E. Bin, P. Miraldo and D. V. Dimarogonas, Fast Model Predictive Image-Based Visual Servoing for Quadrotors, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020.

F. Chen and D. V. Dimarogonas, Further Results on Leader-follower Multi-agent Formation Control with Prescribed Performance Guarantees, IEEE Conference on Decision and Control (CDC), 2020.

P. Tajvar, F. D. S. Barbosa and J. Tumova, Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification, IEEE 16th International Conference on Automation Science and Engineering, 2020.

M. Askarpour, C. Menghi, G. Belli, M. M. Bersani and P. Pelliccione, Mind the gap: Robotic Mission Planning Meets Software Engineering, 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020.

S. García, P. Pelliccione, C. Menghi, T. Berger and T. Bures, PROMISE: High-Level Mission Specification for Multiple Robots, 42nd International Conference on Software Engineering (ICSE Demos), 2020.

C. Stamouli, C. Bechlioulis, and K. J. Kyriakopoulos, Multi-agent Formation Control based on Distributed Estimation with Prescribed Performance, International Conference on Robotics and Automation (ICRA), 2020.

K. Bacharidis, and A. Argyros, Improving Deep Learning Approaches for Human Activity Recognition based on Natural Language Processing of Action Labels, International Joint Conference on Neural Networks (IJCNN), 2020.

D. Bautembach, I. Oikonomidis, N. Kyriazis, and A. Argyros, Faster and Simpler SNN Simulation with Work Queues, International Joint Conference on Neural Networks (IJCNN), 2020.

V. Nicodemou, I. Oikonomidis, G. Tzimiropoulos, and A. Argyros, Learning to Infer the Depth Map of a Hand from its Color Image, International Joint Conference on Neural Networks (IJCNN), 2020.

K. Bacharidis, and A. Argyros, Extracting Action Hierarchies from Action Labels and their Use in Deep Action Recognition, Submitted to International Conference on Pattern Recognition (ICPR), 2020.

Q. Ammar, and A. Argyros, From RGB images to occlusion-tolerant and personalized 3D human pose estimation, Submitted to British Machine Vision Conference (BMVC), 2020.

C. K. Verginis, D. V. Dimarogonas, and L. E. Kavraki, Sampling-based motion planning for uncertain high-dimensional systems via adaptive control, Workshop on the Algorithmic Foundations on Robotics, 2020.

W. Ren, and D. V. Dimarogonas, Symbolic abstractions for periodic event-triggered linear control systems, European Control Conference (ECC), 2020.

C. K. Verginis, and D. V. Dimarogonas, Energy-optimal cooperative manipulation via provable internal-force regulation, In IEEE International Conference on Robotics and Automation (ICRA), 2020.

C. Mavridis, C. Vrohidis, J. S. Baras, and K. J. Kyriakopoulos, Robot Navigation Under MITL Constraints Using Time-Dependent Vector Field Based Control, IEEE Conference on Decision and Control (CDC), 2019.

W. Ren, and D. V. Dimarogonas, Dynamic quantization based symbolic abstractions for nonlinear Control systems, IEEE Conference on Decision and Control (CDC), pp. 4343-4348, IEEE, 2019.

G. Karvounas, I. Oikonomidis and A. A. Argyros, ReActNet: Temporal Localization of Repetitive Activities in Real-World Videos, In IEEE International Conference on Computer Vision Workshops (ISV 2019 - ICCVW 2019), IEEE, Seoul, S. Korea, October 2019.

A. Tsoli and A. A. Argyros, Patch-based reconstruction of a textureless deformable 3D surface from a single RGB image, In IEEE International Conference on Computer Vision Workshops (GMDL 2019 - ICCVW 2019), IEEE, Seoul, S. Korea, October 2019.

P. Tajvar, A. Varava, D. Kragic, J. Tumova, Robust Motion Planning for Non-Holonomic Robots with Planar Geometric Constraints, In International Symposium on Robotics Research (ISRR 2019), Hanoi, Vietnam, October 2019

C. Panagiotakis and A. A. Argyros, A two-stage approach for commonality-based temporal localization of periodic motions, In International Conference on Computer Vision Systems (ICVS 2019), Springer, Thessaloniki, Greece, September 2019.

A. Makris, and A. Argyros, Robust 3D Human Pose Estimation Guided by Filtered Subsets of Body Keypoints, International Conference on Machine Vision Applications (MVA), pp. 1-6, IEEE, 2019.

G. Karvounas, I. Oikonomidis, and A. Argyros, ReActNet: Temporal Localization of Repetitive Activities in Real-World Videos, International Conference on Computer Vision Workshop (ICCVW), IEEE, 2019.

A. Tsoli, and A. Argyros, Patch-based reconstruction of a textureless deformable 3D surface from a single RGB image, International Conference on Computer Vision Workshop (ICCVW), IEEE, 2019.

C. Panagiotakis, and A. Argyros, A two-stage approach for commonality-based temporal localization of periodic motions, International Conference on Computer Vision Systems (ICVS), 2019.

K. Papoutsakis, and A. Argyros, Unsupervised and Explainable Assessment of Video Similarity, British Machine Vision Conference (BMVC), 2019.

E. O. Porfyrakis, and A. Makris, and A. Argyros, 3D Hand Tracking by Employing Probabilistic Principal Component Analysis to Model Action Priors, International Conference on Computer Vision Systems (ICVS), 2019.

A. Qammaz, and A. Argyros, MocapNET: Ensemble of SNN Encoders for 3D Human Pose Estimation in RGB Images, British Machine Vision Conference (BMVC), 2019.

F. Gouidis, P. Panteleris, I. Oikonomidis, and A. Argyros, Accurate Hand Keypoint Localization on Mobile Devices, International Conference on Machine Vision Applications (MVA), IEEE, 2019.

G. Galanakis, X. Zabulis, and A. Argyros, Novelty Detection for Person Re-identification in an Open World, International Conference on Computer Vision Theory and Applications (VISAPP), 2019.

C. Stamouli, C. P. Bechlioulis, and K. J. Kyriakopoulos, Robust Dynamic Average Consensus with Prescribed Performance, IEEE Conference on Decision and Control (CDC), 2019.

C. K. Verginis, C. Vrohidis, C. P. Bechlioulis, D.V.Dimarogonas, and K.J.Kyriakopoulos, Reconfigurable Motion Planning and Control in Obstacle Cluttered Environments under Timed Temporal Tasks, in 2019 IEEE International Conference on Robotics and Automation, Montreal, Canada, pp. 951-957, 2019.

P. Vlantis, C. Vrohidis, C. P. Bechlioulis, and K. J. Kyriakopoulos, Orientation Aware Motion Planning in Complex Workspaces using Adaptive Harmonic Potential Fields, in 2019 IEEE International Conference on Robotics and Automation, Montreal, Canada, pp. 8592-8598, 2019.

C. K. Verginis, and D. V. Dimarogonas, Adaptive Leader-Follower Coordination of Lagrangian Multi-Agent Systems under Transient Constraints, IEEE Conference on Decision and Control (CDC), 2019.

C. K. Verginis, and D. V. Dimarogonas, Asymptotic Stability of Uncertain Lagrangian Systems with Prescribed Transient Response, IEEE Conference on Decision and Control (CDC), 2019.

F. Chen, and D. V. Dimarogonas, Consensus Control for Leader-follower Multi-agent Systems under Prescribed Performance Guarantees, IEEE Conference on Decision and Control (CDC), 2019.

F. Chen, and D. V. Dimarogonas, Second Order Consensus for Leader-follower Multi-agent Systems with Prescribed Performance, 8th IFAC Workshop on Estimation and Control of Networked Systems (NECSYS), 2019.

S. Garcia, P. Pelliccione, C. Menghi, T. Berger, and T. Bures, High-level Mission Specification for Multiple Robots, In Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE), pp. 127-140, 2019.

M. Logothetis, P. Vlantis, C. Vrohidis, G. C. Karras, and K. J. Kyriakopoulos, A Motion Planning Scheme for Cooperative Loading Using Heterogeneous Robotic Agents, IEEE International Conference on Robotics and Automation (ICRA), Montreal, Canada, 2019.

C. Menghi, C. Tsigkanos, T. Berger, and P. Pelliccione, PsALM: Specification of Dependable Robotic Missions, International Conference on Software Engineering: Companion (ICSE), pp. 99-102, 2019.

S. Garcia, D. Strüber, D. Brugali, A. Di Fava, P. Schillinger, P. Pelliccione, and T. Berger, Variability Modeling of Service Robots: Experiences and Challenges. In the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019.

S. Garcia, C. Menghi, and P. Pelliccione, MAPmAKER: Performing Multi-robot LTL Planning under Uncertainty, In the 2nd International Workshop on Robotics Software Engineering, 2019.

A. Nikou, S. Heshmati-alamdari, and D. V. Dimarogonas, Design and Experimental Validation of Tube-based MPC for Timed-constrained Robot Planning, IEEE International Conference on Automation Science and Engineering, Vancouver, Canada, August 2019.

S. Berkane, A. Bisoffi and D. V. Dimarogonas, A Hybrid Controller for Obstacle Avoidance in An N-dimensional Euclidean Space, The European Control Conference, Napoli, Italy, June 2019.

W. Ren and D. V. Dimarogonas, Logarithmic Quantization Based Symbolic Abstractions for Nonlinear Control Systems, The European Control Conference, Naples, Italy, 2019.

F. Barbosa, L. Lindemann, D. Dimarogonas, and J. Tumova, Integrated Motion Planning and Control under Metric Interval Temporal Logic Specifications, The European Control Conference, Naples, Italy, 2019.

L. Lindemann, and D. Dimarogonas, Decentralized Control Barrier Functions for Coupled Multi-agent Systems under Signal Temporal Logic Tasks, The European Control Conference, Naples, Italy. 2019.

M. Logothetis, G. C. Karras, S. Heshmati-alamdari, P. Vlantis and K. J. Kyriakopoulos, A Model Predictive Control Approach for Vision-based Object Gripping via Mobile Manipulator, IEEE International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, 2018.

C. K. Verginis, A. Nikou, and D. V. Dimarogonas, Communication-based Decentralized Cooperative Object Transportation using Nonlinear Model Predictive Control, European Control Conference (ECC), Limassol, Cyprus, pp. 733-738, 2018.

L. Lindemann, D. Maity, J. Baras, and D. Dimarogonas, Event-triggered Feedback Control for Signal Temporal Logic Tasks, IEEE Conference on Decision and Control, 2018.

C. Panagiotakis, G. Karvounas and A. Argyros, Unsupervised Detection of Periodic Segments in Videos, In IEEE International Conference on Image Processing (ICIP 2018), pp. 923-927, Athens, Greece, October 2018.

P. Schillinger, M. Bürger, and D. V. Dimarogonas, Improving Multi-Robot Behavior Using Learning-Based Receding Horizon Task Allocation, Robotics: Science and Systems (RSS), 2018.

I. Oikonomidis, G. Garcia-Hernando, A. Yao, A. Argyros, V. Lepetit, and T.-K. Kim, HANDS18: Methods, Techniques and Applications for Hand Observation, In European Conference on Computer Vision Workshops (ECCVW), 2018.

A. Tsoli, and A. Argyros, Joint 3D Tracking of A Deformable Object in Interaction with A Hand, In European Conference on Computer Vision (ECCV), Springer, pp. 504-520, September 2018.

A. Nikou, C. K. Verginis, and D. V. Dimarogonas, A Tube-based MPC Scheme for Interaction Control of Underwater Vehicle Manipulator Systems, IEEE/OES Autonomous Underwater Vehicle Workshop (AUV), pp. 1-6, IEEE, 2018.

A. Filotheou, A. Nikou, and D. V. Dimarogonas, Decentralized Control of Uncertain Multi-agent Systems with Connectivity Maintenance and Collision Avoidance, European Control Conference (ECC), pp. 8-13, IEEE, 2018.

S. Garcia, C. Menghi, P. Pelliccione, T. Berger, and R. Wohlrab, An Architecture for Decentralized, Collaborative, and Autonomous Robots, International Conference on Software Architecture (ICSA), 2018.

D. Bautembach, I. Oikonomidis and A. Argyros, A Comparative Study of Matrix Completion and Recovery Techniques for Human Pose Estimation, In International Conference on Pervasive Technologies Related to Assistive Environments (PETRA), ACM, pp. 23-30, Corfu, Greece, June 2018.

C. Menghi, S. Garcia, P. Pelliccione, and Jana Tumova, Multi-Robot LTL Planning Under Uncertainty, 22nd International Symposium on Formal Methods (FM), 2018.

A. Qammaz, S. Kosta, N. Kyriazis, and A. Argyros, Distributed Real-Time Generative 3D Hand Tracking using Edge GPGPU Acceleration, In ACM International Conference on Mobile Systems, Applications, and Services (ACM MobiSys), pp. 540, June 2018.

C. Menghi, P. Spoletini, M. Chechik, C. Ghezzi. Supporting Verification-Driven Incremental Distributed Design of Components. International Conference on Fundamental Approaches to Software Engineering (FASE), 2018.

A. Qammaz, S. Kosta, N. Kyriazis and A.A. Argyros, On the Feasibility of Real-Time 3D Hand Tracking using Edge GPGPU Acceleration, In arxiv 1804.11256, April 2018.

C. N. Mavridis, K. Alevizos, C. P. Bechlioulis, and K. J. Kyriakopoulos, Human-Robot Collaboration based on Robust Motion Intention Estimation with Prescribed Performance, European Control Conference, 2018.

P. Vlantis, C. Vrohidis, C. P. Bechlioulis, and K. J. Kyriakopoulos, Robot Navigation in Complex Workspaces Using Harmonic Maps, IEEE International Conference on Robotics and Automation (ICRA), 2018.

P. Schillinger, M. Bürger, and D. V. Dimarogonas, Auctioning over Probabilistic Options for Temporal Logic-Based Multi-Robot Cooperation under Uncertainty, IEEE International Conference on Robotics and Automation (ICRA), 2018.

L. Lindemann, and D. V. Dimarogonas. Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks, American Control Conference, Milwaukee, WI, USA, 2018.

A. Qammaz, D. Michel, and A. Argyros, A Hybrid Method for 3D Pose Estimation of Personalized Human Body Models, In IEEE Winter Conference on Applications of Computer Vision (WACV 2018), pp. 456-465, Lake Tahoe, NV, USA, March 2018.

M. Guo, S. Andersson, and D. V. Dimarogonas, Human-in-the-Loop Mixed-Initiative Control under Temporal Tasks, 2018 IEEE International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 2018.

V. Manousaki, K. Papoutsakis, and A. Argyros, Evaluating Method Design Options for Action Classification based on Bags of Visual Words, In International Conference on Computer Vision Theory and Applications (VISAPP), Scitepress, pp. 185-192, Madeira, Portugal, January 2018.

A. Bernasconi, C. Menghi, P. Spoletini, L. D. Zuck, and C. Ghezzi. From Model Checking to a Temporal Proof for Partial Models, Software Engineering and Formal Methods (SEFM), Lecture Notes in Computer Science, vol 10469, Springer, Cham, 2017.

P. Panteleris and A. Argyros. Back to RGB: 3D tracking of hands and hand-object interactions based on short-baseline stereo, In IEEE International Conference on Computer Vision Workshops (ICCVW), 2017.

K. Roditakis, A. Makris, and A. Argyros, Generative 3D Hand Tracking with Spatially Constrained Pose Sampling, In British Machine Vision Conference (BMVC), London, UK, September 2017.

P. Schillinger, M. Bürger, and D. V. Dimarogonas, Multi-Objective Search for Optimal Multi-Robot Planning with Finite LTL Specifications and Resource Constraints, IEEE International Conference on Robotics and Automation (ICRA), 2017.

C. K. Verginis, and D. V. Dimarogonas, Robust Decentralized Abstractions for Multiple Mobile Manipulators, 56th IEEE Conference on Decision and Control, Melbourne, Australia 2017.

L. Lindemann, C. K. Verginis, and D. V. Dimarogonas, Prescribed Performance Control for Signal Temporal Logic Specifications, 56th IEEE Conference on Decision and Control, Melbourne, Australia 2017.

A. Nikou, S. Heshmati-alamdari, C. K. Verginis, and D. V. Dimarogonas, Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems, 56th IEEE Conference on Decision and Control, Melbourne, Australia 2017.

P. Schillinger, M. Bürger, and D. V. Dimarogonas, Multi-Objective Search for Optimal Multi-Robot Planning with Finite LTL Specifications and Resource Constraints, 2017 IEEE International Conference on Robotics and Automation, Singapore, May 2017.

K. Papoutsakis, C. Panagiotakis, and A. Argyros, Temporal Action Co-Segmentation in 3D Motion Capture Data and Videos, In IEEE Computer Vision and Pattern Recognition (CVPR ), Honolulu, Hawaii, USA, July 2017.

C. K. Verginis, and D. V. Dimarogonas, Distributed Cooperative Manipulation under Timed Temporal Specifications, American Control Conference, Seattle, USA, 2017.

F. Ciccozzi, D. Di Ruscio, I. Malavolta, P. Pelliccione, and J. Tumova, Engineering the Software of Robotic Systems, In Proceedings of the 39th International Conference on Software Engineering Companion, pp. 507-508, 2017.

C. K. Verginis, and D. V. Dimarogonas, Multi-agent Motion Planning and Object Transportation under High Level Goals, IFAC World Congress, Toulouse, France, pp. 15816-15821, 2017.

C. Vrohidis, C. P. Bechlioulis, and K. J. Kyriakopoulos, Decentralized Reconfigurable Multi-Robot Coordination from Local Connectivity and Collision Avoidance Specifications, 20th IFAC World Congress, 2017.

P.-J. Meyer, and D. V. Dimarogonas, Abstraction Refinement and Plan Revision for Control Synthesis under High Level Specifications, 20th IFAC World Congress, Toulouse, France, 2017.

P. Rousse, P.-J. Meyer, and D. V. Dimarogonas, Using Progress Sets on Non-deterministic Transition Systems for Multiple UAV Motion Planning, 20th IFAC World Congress, Toulouse, France, 2017.

P.-J. Meyer, and D. V. Dimarogonas, Compositional Abstraction Refinement for Control Synthesis under Lasso-shaped Specifications, American Control Conference, Seattle, USA, 2017.

C. Menghi, C. Tsigkanos, T. Berger, P. Pelliccione, and C. Ghezzi, Property Specification Patterns for Robotic Missions, 40th International Conference on Software Engineering (ICSE), 2018.

C. Menghi, S. Garcia, P. Pelliccione, and J. Tumova, Towards Multi-Robot Applications Planning Under Uncertainty, 40th International Conference on Software Engineering (ICSE), 2018.

WP1: Project Management.

• Lead: KTH.

• Deliverables: [D1.1] [D1.2]

WP2: Perception.

• Lead: FORTH.

• Deliverables: [D2.1] [D2.2] [D2.3]

WP3: Control for Efficient Coordination and Interaction.

• Lead: NTUA.

• Deliverables: [D3.1] [D3.2] [D3.3] [D3.4]

WP4: Task Planning for Multi-Robot Systems.

• Lead: KTH.

• Deliverables: [D4.1] [D4.2] [D4.3]

WP5: Software Architecture.

• Lead: UGOT.

• Deliverables: [D5.1] [D5.2] [D5.3]

WP6: System Integration and Evaluation.

• Lead: BOSCH.

• Deliverables: [D6.1] [D6.2] [D6.3] [D6.4] [D6.5] [D6.6]

WP7: Dissemination and Exploitation.

• Lead: PAL.

• Deliverables: [D7.1] [D7.2] [D7.3]