Mrudula Balachander

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Nash Equilibria

Program Synthesis

Stackelberg Game

Top Venues

Taming the Infinities of Concurrency

Publications

Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini
Passive Learning of Regular Data Languages in Polynomial Time and Data. CONCUR (2024)
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
SynthLearn: A Tool for Guided Reactive Synthesis. Taming the Infinities of Concurrency (2024)
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
LTL Reactive Synthesis with a Few Hints. TACAS (2) (2023)
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
LTL Reactive Synthesis with a Few Hints. CoRR (2023)
Mrudula Balachander, Shibashis Guha, Jean-François Raskin
Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games. CONCUR (2021)
Mrudula Balachander, Shibashis Guha, Jean-François Raskin
Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower. CoRR (2020)