ERD

PsALM: Specification of Dependable Robotic Missions

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Safety for mobile robotic systems: A systematic mapping study from a software engineering perspective

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Robust formation control in SE ( 3 ) for tree-graph structures with prescribed transient and steady state performance

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

MAPmAKER: Performing Multi-Robot LTL Planning under Uncertainty

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Closed-Form Barrier Functions for Multi-Agent Ellipsoidal Systems With Uncertain Lagrangian Dynamics

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

A Hybrid Controller for Obstacle Avoidance in an $n$-dimensional Euclidean Space

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Abstractions of varying decentralization degree for coupled multi-agent systems

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

ReActNet: Temporal Localization of Repetitive Activities in Real-World Videos

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Reconfigurable Motion Planning and Control in Obstacle Cluttered Environments under Timed Temporal Tasks

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

A Two-Stage Approach for Commonality-Based Temporal Localization of Periodic Motions

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

MocapNET: Ensemble of SNN Encoders for 3D Human Pose Estimation in RGB Images

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

3D Hand Tracking by Employing Probabilistic Principal Component Analysis to Model Action Priors

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Single-shot 3D hand pose estimation using radial basis function networks trained on synthetic data

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Robust 3D Human Pose Estimation Guided by Filtered Subsets of Body Keypoints

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Managing safety and mission completion via collective run-time adaptation

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

A verification-driven framework for iterative design of controllers

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Novelty Detection for Person Re-identification in an Open World

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Patch-based reconstruction of a textureless deformable 3D surface from a single RGB image

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Unsupervised and Explainable Assessment of Video Similarity

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Orientation-Aware Motion Planning in Complex Workspaces using Adaptive Harmonic Potential Fields

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Robust Cooperative Manipulation Without Force/Torque Measurements: Control Design and Experiments

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Robust control for signal temporal logic specifications using discrete average space robustness

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Event-triggered Feedback Control for Signal Temporal Logic Tasks

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

A Tube-based MPC Scheme for Interaction Control of Underwater Vehicle Manipulator Systems

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

The revolution of software: a look at the automotive and robotic domains

Project: Co4Robots

Updated at: 29-04-2024

Show more information

Project acronym Co4Robots

Resources