Mrudula Balachander

Orcid: 0000-0001-8688-3550

According to our database1, Mrudula Balachander authored at least 5 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
0
1
2
3
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Passive Learning of Regular Data Languages in Polynomial Time and Data.
Proceedings of the 35th International Conference on Concurrency Theory, 2024

SynthLearn: A Tool for Guided Reactive Synthesis.
Proceedings of the Taming the Infinities of Concurrency, 2024

2023
LTL Reactive Synthesis with a Few Hints.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021
Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

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


  Loading...