Picture for Suresh Jagannathan

Suresh Jagannathan

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models

Add code
Sep 28, 2024
Viaarxiv icon

Manipulating Neural Path Planners via Slight Perturbations

Add code
Mar 27, 2024
Viaarxiv icon

Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints

Add code
Mar 02, 2023
Viaarxiv icon

DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems

Add code
Jun 28, 2022
Figure 1 for DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems
Figure 2 for DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems
Figure 3 for DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems
Figure 4 for DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems
Viaarxiv icon

Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising

Add code
Jun 14, 2022
Figure 1 for Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Figure 2 for Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Figure 3 for Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Figure 4 for Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Viaarxiv icon

Model-free Neural Lyapunov Control for Safe Robot Navigation

Add code
Mar 02, 2022
Figure 1 for Model-free Neural Lyapunov Control for Safe Robot Navigation
Figure 2 for Model-free Neural Lyapunov Control for Safe Robot Navigation
Figure 3 for Model-free Neural Lyapunov Control for Safe Robot Navigation
Figure 4 for Model-free Neural Lyapunov Control for Safe Robot Navigation
Viaarxiv icon

Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning

Add code
Apr 20, 2021
Figure 1 for Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Figure 2 for Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Figure 3 for Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Figure 4 for Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Viaarxiv icon

Robustness to Adversarial Attacks in Learning-Enabled Controllers

Add code
Jun 11, 2020
Figure 1 for Robustness to Adversarial Attacks in Learning-Enabled Controllers
Figure 2 for Robustness to Adversarial Attacks in Learning-Enabled Controllers
Figure 3 for Robustness to Adversarial Attacks in Learning-Enabled Controllers
Figure 4 for Robustness to Adversarial Attacks in Learning-Enabled Controllers
Viaarxiv icon

ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks

Add code
Jul 26, 2019
Figure 1 for ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Figure 2 for ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Figure 3 for ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Figure 4 for ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Viaarxiv icon

An Inductive Synthesis Framework for Verifiable Reinforcement Learning

Add code
Jul 16, 2019
Figure 1 for An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Figure 2 for An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Figure 3 for An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Figure 4 for An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Viaarxiv icon