logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

Rupak Majumdar

Max Planck Institute for Software Systems

59H指数
471论文数
1.4W被引数
收录论文 11
发表时间
logo
Sum-of-squares certificates for almost-sure reachability of stochastic polynomial systems随机多项式系统的几乎必然可达性的和平方证书
errNonlinear Analysis-Hybrid Systems
IF4.1
err2026-08-11
err0
PREAI
errArash Bahari Kordabad; Rupak Majumdar; Sadegh Soudjani
err分享
err收藏
Model-Guided Fuzzing of Distributed Systems分布式系统的模型引导模糊测试
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errGulcan, Ege Berkay; Ozkan, Burcu Kulahcioglu; Majumdar, Rupak; Nagendra, Srinidhi
err分享
err收藏
Data-driven abstraction-based control synthesis
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2024-05-01
err7
errOAAI
errKazemi, Milad; Majumdar, Rupak; Salamati, Mahmoud; Soudjani, Sadegh; Wooding, Ben
err分享
err收藏
Symbolic control for stochastic systems via finite parity games
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2024-02-01
err3
errOAAI
errMajumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh
err分享
err收藏
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-01-01
err3
errOAAI
errMajumdar, Rupak; Schmuck, Anne-Kathrin
err分享
err收藏
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2019-08-01
err35
errOAAI
errFarahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh
err分享
err收藏
Compositional Synthesis of Finite-State Abstractions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2019-06-01
err32
errOAAI
errMallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak
err分享
err收藏
Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study
errJOURNAL OF PROCESS CONTROL
IF3.9
err2018-09-01
err12
errOAAI
errFarahani, Samira S.; Soudjani, Sadegh; Majumdar, Rupak; Ocampo-Martinez, Carlos
err分享
err收藏
Towards Robustness for Cyber-Physical Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2014-12-01
err57
PREAI
errTabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak
err分享
err收藏
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2014-12-01
err113
errOAAI
errZamani, Majid; Esfahani, Peyman Mohajerin; Majumdar, Rupak; Abate, Alessandro; Lygeros, John
err分享
err收藏
Software Model Checking
errACM COMPUTING SURVEYS
IF28
err2009-10-09
err266
PREAI
errJhala, Ranjit; Majumdar, Rupak
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
John Lygeros
H 指数: 76 · 论文数: 947
P
Paulo Tabuada
H 指数: 55 · 论文数: 347
R
Ranjit Jhala
H 指数: 52 · 论文数: 197
A
Alessandro Abate
H 指数: 40 · 论文数: 442
C
Carlos Ocampo‐Martínez
H 指数: 40 · 论文数: 342
查看更多