HB

Hendrik Blockeel

2 records found

DeepSaDe

Learning Neural Networks That Guarantee Domain Constraint Satisfaction

As machine learning models, specifically neural networks, are becoming increasingly popular, there are concerns regarding their trustworthiness, especially in safety-critical applications, e.g., actions of an autonomous vehicle must be safe. There are approaches that can train ne ...

SaDe

Learning Models that Provably Satisfy Domain Constraints

In many real world applications of machine learning, models have to meet certain domain-based requirements that can be expressed as constraints (for example, safety-critical constraints in autonomous driving systems). Such constraints are often handled by including them in a regu ...