The following pages link to Calin Belta (Q184778):
Displayed 6 items.
- Hybrid Systems: Computation and Control (Q5898989) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
- Rotating stall control for axial flow compressors (Q5935486) (← links)
- Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics (Q6056461) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications (Q6201592) (← links)