引用次数
引用: 14,349
H-指数: 63
I10-指数 : 220
出版物: 419
Experimentally driven verification of synthetic biological circuits
Carr , Ganguly , Belta , Haddock
design, automation, and test in europe 236 -241
2012
Control of Markov decision processes from PCTL specifications
Lahijanian , Belta , Andersson
american control conference 311 -316
2011
Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees
BombaraGiuseppe , BeltaCalin
ACM Transactions on Cyber-Physical Systems 5 ( 3) 1 -23
8
2021
On the computation of rigid body motion
CALIN Belta , VIJAY Kumar
Electronic Journal of Computational Kinematics 1 ( 1)
14
2002
Geometric methods for multi-robot planning and control
Calin Andrei Belta
University of Pennsylvania
9
2003
2002
Symbolic Control and Planning of Robotic Motion (Grand Challenges of Robotics)
Eric Klavins , Calin Belta , George J Pappas , Magnus Egerstedt
2
2007
Least-violating planning in road networks from temporal logic specifications
Calin Belta , Jana Tumova , Daniela Rus , Sertac Karaman
international conference on cyber physical systems 17
10
2016
A fully automated framework for control of linear systems from LTL specifications
Calin Belta , Marius Kloetzer
Lecture Notes in Computer Science 333 -347
2006
Formal Methods for Discrete-Time Dynamical Systems
Calin Belta , Ebru Aydın Göl , Boyan Yordanov
351
2017
AUTOMATA GUIDED HIERARCHICAL REINFORCEMENT LEARNING FOR ZERO-SHOT SKILL COMPOSITION
Calin Belta , Yao Ma , Xiao Li
5
2018
Automata-Guided Hierarchical Reinforcement Learning for Skill Composition
Calin Belta , Yao Ma , Xiao Li
arXiv: Artificial Intelligence
2
2017
Automata Guided Reinforcement Learning With Demonstrations.
Calin Belta , Yao Ma , Xiao Li
arXiv: Artificial Intelligence
12
2018
Reactive Control Meets Runtime Verification: A Case Study of Navigation
Dogan Ulus , Calin Belta
arXiv: Robotics
7
2019
Control Barrier Functions for Systems with High Relative Degree
Calin Belta , Wei Xiao
arXiv: Systems and Control
146
2019
Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions.
Calin Belta , Xiao Li
arXiv: Learning
31
2019
Automata Guided Skill Composition
Calin Belta , Yao Ma , Xiao Li
2018
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Calin Belta , Ezio Bartocci , Iman Haghighi , Noushin Mehdipour
arXiv: Systems and Control
52
2019
Reinforcement Learning With Temporal Logic Rewards
Calin Belta , Cristian-Ioan Vasile , Xiao Li
arXiv: Artificial Intelligence
150
2016
Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints
Calin Belta , Xu Chu Ding , Alphan Ulusoy , Stephen L. Smith
arXiv: Robotics
73
2012