NTHRYS › PhD Assistance › Mathematical Modelling

Mathematical Modelling

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Control Barrier Functions and Safety Verification

Mathematical framework for ensuring safety constraints are satisfied in controlled dynamical systems with formal verification methods.