@unpublished{shield,
  author = {Anand, Ashwani and Nayak, Satya Prakash and Raha, Ritam and Schmuck, Anne{-}Kathrin},
  title = {Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies},
  booktitle = {ArXiv},
  year = {2025},
  url = {https://arxiv.org/abs/2505.14689},
  file = {shield.pdf}
}

@inproceedings{qastel,
  author = {Anand, Ashwani and Nayak, Satya Prakash and Sa{\u{g}}lam, Irmak and Raha, Ritam and Schmuck, Anne{-}Kathrin},
  title = {Quantitative Strategy Templates},
  booktitle = {(to appear) ATVA},
  url = {abs/2504.16528},
  year = {2025},
  file = {qastel.pdf},
  venueurl = {https://conf.researchr.org/home/atva-2025}
}

@inproceedings{AnandNRSS25,
  author = {Anand, Ashwani and Nayak, Satya Prakash and Raha, Ritam and Saglam, Irmak and Schmuck, Anne{-}Kathrin},
  title = {Fair Quantitative Games},
  booktitle = {FoSSaCS},
  series = {Lecture Notes in Computer Science},
  volume = {15691},
  pages = {331--354},
  publisher = {Springer},
  year = {2025},
  doi = {10.1007/978-3-031-90897-2_16},
  url = {https://link.springer.com/chapter/10.1007/978-3-031-90897-2_16},
  file = {fossacs2025.pdf},
  venueurl = {https://etaps.org/2025/conferences/fossacs/}
}

@inproceedings{RahaMTL24,
  author = {Raha, Ritam and Roy, Rajarshi and Fijalkow, Nathana{\"{e}}l and Neider, Daniel and P{\'{e}}rez, Guillermo A.},
  title = {Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic},
  booktitle = {{VMCAI}},
  series = {Lecture Notes in Computer Science},
  volume = {14500},
  pages = {264--288},
  publisher = {Springer},
  year = {2024},
  doi = {10.1007/978-3-031-50521-8_15},
  url = {https://link.springer.com/chapter/10.1007/978-3-031-50521-8_13},
  file = {MTL.pdf},
  venueurl = {https://popl24.sigplan.org/home/VMCAI-2024}
}

@inproceedings{Cadilhac23,
  author = {Cadilhac, Micha{\"{e}}l and Ghosh, Arka and P{\'{e}}rez, Guillermo A. and Raha, Ritam},
  title = {Parikh One-Counter Automata},
  booktitle = {{MFCS}},
  series = {LIPIcs},
  volume = {272},
  pages = {30:1--30:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year = {2023},
  url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.30},
  venueurl = {https://mfcs2023.labri.fr/},
  doi = {10.4230/LIPIcs.MFCS.2023.30},
  file = {ParOCA.pdf}
}

@inproceedings{Bellis2023,
  author = {Bellis, Stijn and Denil, Joachim and Krishnamurthy, Ramesh and Leys, Tim and P{\'{e}}rez, Guillermo A. and Raha, Ritam},
  title = {A Framework for the Competitive Analysis of Model Predictive Controllers},
  booktitle = {RP},
  series = {Lecture Notes in Computer Science},
  volume = {14235},
  pages = {141--154},
  publisher = {Springer},
  year = {2023},
  url = {https://doi.org/10.1007/978-3-031-45286-4\_11},
  venueurl = {https://rp25.software.imdea.org/},
  doi = {10.1007/978-3-031-45286-4\_11},
  file = {MPC.pdf}
}

@inproceedings{RRFN2022,
  author = {Raha, Ritam and Roy, Rajarshi and Fijalkow, Nathana{\"{e}}l and Neider, Daniel},
  title = {Scalable Anytime Algorithms for Learning Fragments of Linear    Temporal Logic},
  booktitle = {{TACAS}},
  series = {Lecture Notes in Computer Science},
  volume = {13243},
  pages = {263--280},
  publisher = {Springer},
  year = {2022},
  url = {https://doi.org/10.1007/978-3-030-99524-9_14},
  doi = {10.1007/978-3-030-99524-9_14},
  venueurl = {https://etaps.org/2022/tacas},
  file = {scarlet.pdf}
}

@inproceedings{perez2022,
  author = {P{\'{e}}rez, Guillermo A. and Raha, Ritam},
  title = {Revisiting Parameter Synthesis for One-Counter Automata},
  booktitle = {{CSL}},
  series = {LIPIcs},
  volume = {216},
  pages = {33:1--33:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year = {2022},
  url = {https://drops.dagstuhl.de/opus/volltexte/2022/15753},
  venueurl = {https://csl2022.uni-goettingen.de/},
  doi = {10.4230/LIPIcs.CSL.2022.33},
  file = {poca.pdf}
}

@inproceedings{Helouet2019,
  author = {Hélouët, Loïc and Markey, Nicolas and Raha, Ritam},
  title = {Reachability Games with Relaxed Energy Constraints},
  booktitle = {GandALF},
  series = {{EPTCS}},
  volume = {305},
  pages = {17--33},
  year = {2019},
  url = {https://doi.org/10.4204/EPTCS.305.2},
  doi = {10.4204/EPTCS.305.2},
  file = {relax_conf.pdf},
  venueurl = {https://gandalf2019.sciencesconf.org/}
}

@article{CADILHAC2025105322,
  title = {Parikh One-Counter Automata},
  journal = {Information and Computation},
  pages = {105322},
  year = {2025},
  doi = {10.1016/j.ic.2025.105322},
  url = {https://www.sciencedirect.com/science/article/pii/S0890540125000586},
  author = {Cadilhac, Micha\"el and Ghosh, Arka and P\'erez, Guillermo A. and Raha, Ritam},
  venueurl = {https://www.sciencedirect.com/journal/information-and-computation}
}

@article{rahajoss2024,
  doi = {10.21105/joss.05052},
  url = {https://doi.org/10.21105/joss.05052},
  year = {2024},
  publisher = {The Open Journal},
  volume = {9},
  number = {93},
  pages = {5052},
  author = {Raha, Ritam and Roy, Rajarshi and Fijalkow, Nathanaël and Neider, Daniel},
  title = {Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic},
  journal = {Journal of Open Source Software},
  venueurl = {https://joss.theoj.org/}
}

@article{HELOUET2022,
  title = {Reachability games with relaxed energy constraints},
  journal = {Information and Computation},
  year = {2022},
  file = {relax_jour.pdf},
  doi = {10.1016/j.ic.2021.104806},
  url = {https://www.sciencedirect.com/science/article/pii/S089054012100122X},
  author = {Hélouët, Loïc and Markey, Nicolas and Raha, Ritam},
  venueurl = {https://www.sciencedirect.com/journal/information-and-computation}
}

@software{SCARLET,
  author = {Raha, Ritam and Roy, Rajarshi and Fijalkow, Nathanaël and Neider, Daniel},
  title = {{SCARLET: Scalable Anytime Algorithm for Learning 
                     LTL}},
  month = jan,
  year = {2022},
  publisher = {Zenodo},
  doi = {10.5281/zenodo.5890149},
  url = {https://doi.org/10.5281/zenodo.5890149},
  github = {https://github.com/rajarshi008/Scarlet},
  website = {https://scarlet.labri.fr/},
  package = {https://pypi.org/project/Scarlet-ltl/0.0.1/}
}

@software{TEAL,
  author = {Raha, Ritam and Roy, Rajarshi and Fijalkow, Nathanaël and Neider, Daniel and Perez, Guillermo},
  title = {{TEAL: Synthesizing Efficiently Monitorable MTL 
                     }},
  github = {https://github.com/ritamraha/Teal}
}

@phdthesis{Phd,
  author = {Raha, Ritam},
  title = {Learning and Verifying Temporal Specifications for Cyber-physical
                    Systems},
  school = {University of Antwerp, Belgium & University of Bordeuax, France},
  year = {2023},
  url = {https://hdl.handle.net/10067/1986580151162165141},
  file = {raha_phd_thesis.pdf},
  defenceslides = {https://1drv.ms/p/s!Ak7rtTf4AMy06m7f0lN_2syIEc3B}
}

@mastersthesis{Masters,
  title = {Reachability Games with Strong and Relaxed Energy Constrainsts},
  year = {2019},
  author = {Raha, Ritam},
  file = {master_thesis.pdf},
  slides = {../thesis/index.html}
}