HB
Hendrik Blockeel
2 records found
1
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
...