Follow
Ritam Raha
Title
Cited by
Cited by
Year
Scalable anytime algorithms for learning fragments of linear temporal logic
R Raha, R Roy, N Fijalkow, D Neider
International Conference on Tools and Algorithms for the Construction and …, 2022
222022
Revisiting parameter synthesis for one-counter automata
GA Pérez, R Raha
30th EACSL Annual Conference on Computer Science Logic (CSL 2022) 216, 33:1 …, 2022
52022
Reachability games with relaxed energy constraints
L Hélouët, N Markey, R Raha
Information and Computation 285, 104806, 2022
42022
Synthesizing efficiently monitorable formulas in metric temporal logic
R Raha, R Roy, N Fijalkow, D Neider, GA Pérez
International Conference on Verification, Model Checking, and Abstract …, 2023
32023
Learning and verifying temporal specifications for cyber-physical systems
R Raha
University of Antwerp, 2023
12023
Parikh One-Counter Automata
M Cadilhac, A Ghosh, GA Pérez, R Raha
LIPIcs: Leibniz International Proceedings in Informatics.-Place of …, 2023
12023
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
R Raha, R Roy, N Fijalkow, D Neider
The Journal of Open Source Software 9 (93), 1-4, 2024
2024
A Framework for the Competitive Analysis of Model Predictive Controllers
S Bellis, J Denil, R Krishnamurthy, T Leys, GA Pérez, R Raha
International Conference on Reachability Problems, 141-154, 2023
2023
Reachability Games with Strong and Relaxed Energy Constraints
R Raha
Master's Thesis at Chennai Mathematical Institute, 2019
2019
Weighted Automata
R Raha, N Fijalkow, F Mazowiecki, V Penelle, N Lhote
2018
The system can't perform the operation now. Try again later.
Articles 1–10