341 citations · 348 across the 7 of their papers we have counts for
7 papers
Correctness-Guaranteed Code Generation via Constrained Decoding
Lingxiao Li, Salar Rahili, Yiwei Zhao
Language Models (LMs) are increasingly being used for code generation, but ensuring the correctness of generated programs remains a significant challenge. Although imperfect code m…
Distributed Adaptive Reinforcement Learning: A Method for Optimal Routing
Salar Rahili, Benjamin Riviere, Soon-Jo Chung
In this paper, a learning-based optimal transportation algorithm for autonomous taxis and ridesharing vehicles is presented. The goal is to design a mechanism to solve the routing…
Distributed Average Tracking of Heterogeneous Physical Second-order Agents With No Input Signals Constraint
Sheida Ghapani, Salar Rahili, Wei Ren
This paper addresses distributed average tracking of physical second-order agents with heterogeneous nonlinear dynamics, where there is no constraint on input signals. The nonlinea…
Heterogeneous Distributed Average Tracking
Salar Rahili, Wei Ren
This paper addresses distributed average tracking for a group of heterogeneous physical agents consisting of single-integrator, double-integrator and Euler-Lagrange dynamics. Here,…
Distributed Average Tracking for Second-order Agents with Nonlinear Dynamics
Sheida Ghapani, Salar Rahili, Wei Ren
This paper addresses distributed average tracking of physical second-order agents with nonlinear dynamics, where the interaction among the agents is described by an undirected grap…
Distributed Convex Optimization of Time-Varying Cost Functions with Swarm Tracking Behavior for Continuous-time Dynamics
Salar Rahili, Wei Ren, Sheida Ghapani
In this paper, a distributed convex optimization problem with swarm tracking behavior is studied for continuous-time multi-agent systems. The agents' task is to drive their center…
Distributed Convex Optimization for Continuous-Time Dynamics with Time-Varying Cost Function
Salar Rahili, Wei Ren
In this paper, a time-varying distributed convex optimization problem is studied for continuous-time multi-agent systems. Control algorithms are designed for the cases of single-in…