laas documents

An Architecture for Autonomy
Documents An Architecture for Autonomy
A global Carleman estimate in a transmission wave equation and application to a one-measurement inverse problem
Documents A global Carleman estimate in a transmission wave equation and application to a one-measurement inverse problem
Comparison of physical and software-implemented fault injection techniques
Documents Comparison of physical and software-implemented fault injection techniques
ROBUST
Documents ROBUST
Sampling-Based Path Planning on Configuration-Space Costmaps
Documents Sampling-Based Path Planning on Configuration-Space Costmaps
A space decomposition method for path planning of loop linkages
Documents A space decomposition method for path planning of loop linkages
Molecular Disassembly With Rrt-Like Algorithms
Documents Molecular Disassembly With Rrt-Like Algorithms
A path planning approach for computing large-amplitude motions of flexible molecules
Documents A path planning approach for computing large-amplitude motions of flexible molecules
Efficient sampling-based approaches to optimal path planning in complex cost spaces
Documents Efficient sampling-based approaches to optimal path planning in complex cost spaces
Nonlinear optimal control synthesis via occupation measures
Documents Nonlinear optimal control synthesis via occupation measures
Tractable approximations of sets defined with quantifiers
Documents Tractable approximations of sets defined with quantifiers
ARUM: A cooperative middleware and an experimentation platform for mobile systems
Documents ARUM: A cooperative middleware and an experimentation platform for mobile systems
Early Error Detection for Fault Tolerance Strategies
Documents Early Error Detection for Fault Tolerance Strategies
Single-Write Safe Consensus using Constrained Inputs
Documents Single-Write Safe Consensus using Constrained Inputs
A framework for proving the self-organization of dynamic systems
Documents A framework for proving the self-organization of dynamic systems
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems
Documents Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems
EQCM study of electrodeposited PbO2: Investigation of the gel formation and discharge mechanisms
Documents EQCM study of electrodeposited PbO2: Investigation of the gel formation and discharge mechanisms
Towards shared attention through geometric reasoning for Human Robot Interaction
Documents Towards shared attention through geometric reasoning for Human Robot Interaction
Human-aware robot navigation: A survey
Documents Human-aware robot navigation: A survey
aSyMov: A Planner That Deals with Intricate Symbolic and Geometric Problems
Documents aSyMov: A Planner That Deals with Intricate Symbolic and Geometric Problems
Vers une gestion des croyances pour la planification Homme -Robot
Documents Vers une gestion des croyances pour la planification Homme -Robot