Mrudula Balachander

According to our database, Mrudula Balachander authored at least 6 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

LTL Reactive Synthesis with a Few Hints.

Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin

J. Autom. Reason., September, 2025

Register Automata with Permutations.

Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini, Nikos Tzevelekos

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Passive Learning of Regular Data Languages in Polynomial Time and Data.

Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini

Proceedings of the 35th International Conference on Concurrency Theory, 2024

SynthLearn: A Tool for Guided Reactive Synthesis.

Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin

Proceedings of the Taming the Infinities of Concurrency, 2024

2021

Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games.

Mrudula Balachander, Shibashis Guha, Jean-François Raskin

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower.

Mrudula Balachander, Shibashis Guha, Jean-François Raskin

CoRR, 2020