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

Călin Belta

College Park

56H指数
480论文数
1.2W被引数
收录论文 67
发表时间
logo
Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control多智能体控制中时空逻辑规范满意度的量化
errIEEE Transactions on Automatic Control
IF7
err2025-08-01
err0
PREAI
errWenliang Liu; Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta
err分享
err收藏
Generalized Mean Robustness for Signal Temporal Logic
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2025-03-01
err0
PREAI
errMehdipour, Noushin; Vasile, Cristian-Ioan; Belta, Calin
err分享
err收藏
A Two-Level Control Algorithm for Autonomous Driving in Urban Environments
errIEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS
IF8.4
err2025-01-01
err0
PREAI
errAasi, Erfan; Cai, Mingyu; Vasile, Cristian-Ioan; Belta, Calin
err分享
err收藏
Optimal On-the-Fly Route Planning With Rich Transportation Requests最优即时路线规划与丰富交通请求
errIEEE Transactions on Robotics
IF10.5
err2025-01-01
err0
PREAI
errCristian-Ioan Vasile; Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus
err分享
err收藏
Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts通过假设保证合同的凸优化对线性系统进行成分综合
errAUTOMATICA
IF5.9
err2024-11-01
err0
errOAAI
errGhasemi, Kasra; Sadraddini, Sadra; Belta, Calin
err分享
err收藏
Algorithms for Autonomous Formation of Multicellular Shapes from Single Cells
errACS SYNTHETIC BIOLOGY
IF3.9
err2024-08-28
err0
errOAAI
errAppleton, Evan; Mehdipour, Noushin; Daifuku, Tristan; Briers, Demarcus; Haghighi, Iman; Moret, Michael; Chao, George; Wannier, Timothy; Chiappino-Pepe, Anush; Huang, Jeremy; Belta, Calin; Church, George M.
err分享
err收藏
Toward model-free safety-critical control with humans in the loop
errANNUAL REVIEWS IN CONTROL
IF10.7
err2024-01-01
err0
PREAI
errXiao, Wei; Li, Anni; Cassandras, Christos G.; Belta, Calin
err分享
err收藏
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
errAUTOMATICA
IF5.9
err2023-06-01
err16
errOAAI
errMehdipour, Noushin; Althoff, Matthias; Tebbens, Radboud Duintjer; Belta, Calin
err分享
err收藏
Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach时序逻辑指导的基于安全模型的强化学习: 一种混合系统方法
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2023-02-01
err8
errOAAI
errCohen, Max H.; Serlin, Zachary; Leahy, Kevin; Belta, Calin
err分享
err收藏
Safe exploration in model-based reinforcement learning using control barrier functions
errAUTOMATICA
IF5.9
err2023-01-01
err18
errOAAI
errCohen, Max H.; Belta, Calin
err分享
err收藏
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
errIEEE TRANSACTIONS ON ROBOTICS
IF10.5
err2022-08-01
err28
errOAAI
errLeahy, Kevin; Serlin, Zachary; Vasile, Cristian-Ioan; Schoer, Andrew; Jones, Austin M.; Tron, Roberto; Belta, Calin
err分享
err收藏
High-Order Control Barrier Functions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-07-01
err128
errOAAI
errXiao, Wei; Belta, Calin
err分享
err收藏
Adaptive Control Barrier Functions自适应控制屏障功能
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-05-01
err76
errOAAI
errXiao, Wei; Belta, Calin; Cassandras, Christos G.
err分享
err收藏
Sufficient conditions for feasibility of optimal control problems using最优控制问题可行的充分条件
errAUTOMATICA
IF5.9
err2022-01-01
err38
errOAAI
errXiao, Wei; Belta, Calin A.; Cassandras, Christos G.
err分享
err收藏
Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-01-01
err14
PREAI
errXiao, Wei; Belta, Calin; Cassandras, Christos G.
err分享
err收藏
Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles通过自动驾驶汽车的应用，弥合最佳轨迹规划和安全关键控制之间的差距
errAUTOMATICA
IF5.9
err2021-07-01
err42
errOAAI
errXiao, Wei; Cassandras, Christos G.; Belta, Calin A.
err分享
err收藏
Distributed and consistent multi-image feature matching via QuickMatch
errINTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
IF5
err2020-06-05
err6
errOAAI
errSerlin, Zachary; Yang, Guang; Sookraj, Brandon; Belta, Calin; Tron, Roberto
err分享
err收藏
Reactive sampling-based path planning with temporal logic specifications
errINTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
IF5
err2020-06-04
err30
PREAI
errVasile, Cristian Ioan; Li, Xiao; Belta, Calin
err分享
err收藏
A formal methods approach to interpretable reinforcement learning for robotic planning
errSCIENCE ROBOTICS
IF27.5
err2019-12-18
err76
PREAI
errLi, Xiao; Serlin, Zachary; Yang, Guang; Belta, Calin
err分享
err收藏
Automated Design of Pluripotent Stem Cell Self-Organization
errCELL SYSTEMS
IF7.7
err2019-11-01
err36
errOAAI
errLibby, Ashley R. G.; Briers, Demarcus; Haghighi, Iman; Joy, David A.; Conklin, Bruce R.; Belta, Calin; McDevitt, Todd C.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
G
George M. Church
H 指数: 190 · 论文数: 1.3K
D
Daniela Rus
H 指数: 122 · 论文数: 1.1K
G
George J. Pappas
H 指数: 98 · 论文数: 902
B
Bruce R. Conklin
H 指数: 77 · 论文数: 257
M
Marcin Imieliński
H 指数: 76 · 论文数: 264
查看更多