Follow
Mrudula Balachander
Mrudula Balachander
PhD Student, Université Libre de Bruxelles
Verified email at ulb.be
Title
Cited by
Cited by
Year
Fragility and robustness in mean-payoff adversarial stackelberg games
M Balachander, S Guha, JF Raskin
arXiv preprint arXiv:2007.07209, 2020
52020
LTL reactive synthesis with a few hints
M Balachander, E Filiot, JF Raskin
International Conference on Tools and Algorithms for the Construction and …, 2023
42023
SynthLearn: A Tool for Guided Reactive Synthesis
M Balachander, E Filiot, JF Raskin
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–3