logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Călin Belta

College Park

56H-index
480Paper Count
1.2WCitation Count
Published Papers 67
Publication Date
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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.
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
Safe exploration in model-based reinforcement learning using control barrier functions
errAUTOMATICA
IF5.9
err2023-01-01
err18
errOAAI
errCohen, Max H.; Belta, Calin
errShare
errSave
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
errShare
errSave
High-Order Control Barrier Functions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-07-01
err128
errOAAI
errXiao, Wei; Belta, Calin
errShare
errSave
Adaptive Control Barrier Functions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-05-01
err76
errOAAI
errXiao, Wei; Belta, Calin; Cassandras, Christos G.
errShare
errSave
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.
errShare
errSave
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.
errShare
errSave
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.
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
George M. Church
H-index: 190 · Papers: 1.3K
D
Daniela Rus
H-index: 122 · Papers: 1.1K
G
George J. Pappas
H-index: 98 · Papers: 902
B
Bruce R. Conklin
H-index: 77 · Papers: 257
M
Marcin Imieliński
H-index: 76 · Papers: 264
View more