1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani +2
In safety-critical applications, guaranteeing the satisfaction of constraints over continuous environments is crucial, e.g., an autonomous agent should never crash into obstacles o…