关注
Ritam Raha
Ritam Raha
Post-doctoral Researcher, Max Planck Institute for Software Systems (MPI-SWS)
在 mpi-sws.org 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
282022
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
62023
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
Learning and verifying temporal specifications for cyber-physical systems
R Raha
University of Antwerp, 2023
22023
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
系统目前无法执行此操作,请稍后再试。
文章 1–10