activity
20232025
most citedConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

eess.SY2023

Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems

David Smith Sundarsingh, Ratnangshu Das, Adnane Saoud +1

Because of the scalability issues associated with the symbolic controller synthesis approach, employing it in a multi-agent system (MAS) framework becomes difficult. In this paper,…