1 citations · 2 across the 5 of their papers we have counts for
5 papers
Sensor Placement for Online Fault Diagnosis
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
Fault diagnosis is the problem of determining a set of faulty system components that explain discrepancies between observed and expected behavior. Due to the intrinsic relation bet…
Adapting to the Behavior of Environments with Bounded Memory
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
We study the problem of synthesizing implementations from temporal logic specifications that need to work correctly in all environments that can be represented as transducers with…
Playing Against Opponents With Limited Memory
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
We study \emph{partial-information} two-player turn-based games on graphs with omega-regular objectives, when the partial-information player has \emph{limited memory}. Such games a…
Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems
Dhananjay Raju, Suda Bharadwaj, Ufuk Topcu
A shield is attached to a system to guarantee safety by correcting the system's behavior at runtime. Existing methods that employ design-time synthesis of shields do not scale to m…
Program Completionin the Input Language of GRINGO
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the "reverse engineering" process of generating a set of conditions that co…