Picture for Rafael Rodrigues da Silva

Rafael Rodrigues da Silva

Automatic Trajectory Synthesis for Real-Time Temporal Logic

Add code
Sep 14, 2020
Figure 1 for Automatic Trajectory Synthesis for Real-Time Temporal Logic
Figure 2 for Automatic Trajectory Synthesis for Real-Time Temporal Logic
Figure 3 for Automatic Trajectory Synthesis for Real-Time Temporal Logic
Figure 4 for Automatic Trajectory Synthesis for Real-Time Temporal Logic
Viaarxiv icon

Formal Connections between Template and Anchor Models via Approximate Simulation

Add code
Sep 20, 2019
Figure 1 for Formal Connections between Template and Anchor Models via Approximate Simulation
Figure 2 for Formal Connections between Template and Anchor Models via Approximate Simulation
Figure 3 for Formal Connections between Template and Anchor Models via Approximate Simulation
Figure 4 for Formal Connections between Template and Anchor Models via Approximate Simulation
Viaarxiv icon

Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications

Add code
Oct 20, 2018
Figure 1 for Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
Figure 2 for Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
Figure 3 for Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
Figure 4 for Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
Viaarxiv icon

Reactive Integrated Mission and Motion planning

Add code
Nov 06, 2017
Figure 1 for Reactive Integrated Mission and Motion planning
Figure 2 for Reactive Integrated Mission and Motion planning
Figure 3 for Reactive Integrated Mission and Motion planning
Viaarxiv icon

Formal Design of Robot Integrated Task and Motion Planning

Add code
Dec 15, 2016
Figure 1 for Formal Design of Robot Integrated Task and Motion Planning
Figure 2 for Formal Design of Robot Integrated Task and Motion Planning
Figure 3 for Formal Design of Robot Integrated Task and Motion Planning
Figure 4 for Formal Design of Robot Integrated Task and Motion Planning
Viaarxiv icon

Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems

Add code
Dec 15, 2016
Figure 1 for Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems
Figure 2 for Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems
Figure 3 for Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems
Figure 4 for Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems
Viaarxiv icon

SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments

Add code
Sep 22, 2016
Figure 1 for SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments
Figure 2 for SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments
Figure 3 for SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments
Figure 4 for SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments
Viaarxiv icon