1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Frederik Baymler Mathiesen, Simeon Calvert, Luca Laurenti
Providing non-trivial certificates of safety for non-linear stochastic systems is an important open problem that limits the wider adoption of autonomous systems in safety-critical…