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 | 28 | 2022 |
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 | 6 | 2023 |
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 | 5 | 2022 |
Reachability games with relaxed energy constraints L Hélouët, N Markey, R Raha Information and Computation 285, 104806, 2022 | 4 | 2022 |
Learning and verifying temporal specifications for cyber-physical systems R Raha University of Antwerp, 2023 | 2 | 2023 |
Parikh One-Counter Automata M Cadilhac, A Ghosh, GA Pérez, R Raha LIPIcs: Leibniz International Proceedings in Informatics.-Place of …, 2023 | 1 | 2023 |
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 |