91 citations · 91 across the 4 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods
Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh +1
The increasing adoption of Reinforcement Learning in safety-critical systems domains such as autonomous vehicles, health, and aviation raises the need for ensuring their safety. Ex…
cs.LG2021★ 91 cited
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review
Florian Tambon, Gabriel Laberge, Le An +7
Context: Machine Learning (ML) has been at the heart of many innovations over the past years. However, including it in so-called 'safety-critical' systems such as automotive or aer…