Dhananjay Raju | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ufuk Topcu
123 publications
Georgios Bakirtzis
18 publications
Suda Bharadwaj
9 publications
Rüdiger Ehlers
6 publications

research

∙ 11/21/2022

Sensor Placement for Online Fault Diagnosis

Fault diagnosis is the problem of determining a set of faulty system com...

0 Dhananjay Raju, et al. ∙

research

∙ 09/17/2021

Adapting to the Behavior of Environments with Bounded Memory

We study the problem of synthesizing implementations from temporal logic...

0 Dhananjay Raju, et al. ∙

research

∙ 10/23/2019

Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems

A shield is attached to a system to guarantee safety by correcting the s...

0 Dhananjay Raju, et al. ∙

research

∙ 10/23/2019

Decentralized Runtime Synthesis of Shields for Multi-Agent Systems

A shield is attached to a system to guarantee safety by correcting the s...

0 Dhananjay Raju, et al. ∙