Mrudula Balachander | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Jean-François Raskin
38 publications
Shibashis Guha
14 publications
Emmanuel Filiot
9 publications

research

∙ 01/25/2023

LTL Reactive Synthesis with a Few Hints

We study a variant of the problem of synthesizing Mealy machines that en...

0 Mrudula Balachander, et al. ∙

research

∙ 07/13/2020

Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower

Two-player Stackelberg games are non-zero sum strategic games between a ...

0 Mrudula Balachander, et al. ∙