Computer Science – Robotics
Scientist
Computer Science
Robotics
Scientist
A Formal Verification Approach to the Design of Synthetic Gene Networks
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
MDP Optimal Control under Temporal Logic Constraints
No associations
LandOfFree
Calin Belta does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Calin Belta, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Calin Belta will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-95048