What is he best known for?
The fields of study he is best known for:
- Artificial intelligence
- Programming language
- Algorithm
His primary areas of study are Temporal logic, Linear temporal logic, Artificial intelligence, Control theory and Motion planning.
His work deals with themes such as Model checking, Algorithm, Markov decision process and Mathematical optimization, which intersect with Temporal logic.
His Linear temporal logic study incorporates themes from Fragment, Optimal control and Transition system.
The various areas that Calin Belta examines in his Artificial intelligence study include Machine learning, Modeling and simulation, Formal methods and Modular design.
His work on Trajectory as part of general Control theory study is frequently linked to Position, bridging the gap between disciplines.
His Motion planning study improves the overall literature in Robot.
His most cited work include:
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (444 citations)
- Symbolic planning and control of robot motion [Grand Challenges of Robotics] (319 citations)
- Abstraction and control for Groups of robots (300 citations)
What are the main themes of his work throughout his whole career to date?
The scientist’s investigation covers issues in Temporal logic, Linear temporal logic, Mathematical optimization, Robot and Theoretical computer science.
The study incorporates disciplines such as Algorithm, Model checking, Transition system, Set and Markov decision process in addition to Temporal logic.
His research integrates issues of Formal verification and Linear system, Control theory in his study of Linear temporal logic.
His study in Mathematical optimization is interdisciplinary in nature, drawing from both Correctness and Bounded function.
His Robot study is concerned with the larger field of Artificial intelligence.
His Theoretical computer science research focuses on Formal methods and how it relates to Dynamical systems theory.
He most often published in these fields:
- Temporal logic (49.01%)
- Linear temporal logic (30.14%)
- Mathematical optimization (27.04%)
What were the highlights of his more recent work (between 2017-2021)?
- Temporal logic (49.01%)
- Optimal control (12.96%)
- Mathematical optimization (27.04%)
In recent papers he was focusing on the following fields of study:
Calin Belta focuses on Temporal logic, Optimal control, Mathematical optimization, Signal temporal logic and Control.
His Temporal logic study combines topics in areas such as Linear temporal logic, Leverage, Inference, Robot and Reinforcement learning.
His Robot research includes themes of Formal methods and Formal specification.
His work carried out in the field of Optimal control brings together such families of science as Energy consumption, Control system and Lyapunov function.
Calin Belta combines subjects such as Correctness, Linear system and Robust control with his study of Mathematical optimization.
His Signal temporal logic study combines topics from a wide range of disciplines, such as Algorithm, Recurrent neural network and Control synthesis.
Between 2017 and 2021, his most popular works were:
- Control Barrier Functions for Systems with High Relative Degree (46 citations)
- Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle (30 citations)
- Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications (27 citations)
In his most recent research, the most cited papers focused on:
- Artificial intelligence
- Programming language
- Algorithm
His main research concerns Optimal control, Lyapunov function, Temporal logic, Control theory and Robustness.
His Optimal control research entails a greater understanding of Mathematical optimization.
His Mathematical optimization study combines topics in areas such as Function, Correctness, Linear system and Scale.
His research in Temporal logic intersects with topics in Decision tree, Data mining, Algorithm, Binary tree and Reinforcement learning.
His research integrates issues of Quadratic programming and Computation in his study of Control theory.
His Robot and Semantics study in the realm of Artificial intelligence interacts with subjects such as Outcome.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
