Ritam Raha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2022–2025
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ATVA | Quantitative Strategy Templates. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | FOSSACS | Fair Quantitative Games. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | VMCAI | Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. | Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider, Guillermo A. Prez |
| 2023 | MFCS | Parikh One-Counter Automata. | Michal Cadilhac, Arka Ghosh, Guillermo A. Prez, Ritam Raha |
| 2022 | CSL | Revisiting Parameter Synthesis for One-Counter Automata. | Guillermo A. Prez, Ritam Raha |
| 2022 | TACAS | Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. | Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider |