1 paper · 1 filter
Harrison Delecki, Marc R. Schlichting, Mansur Arief +3
Validating safety-critical autonomous systems in high-dimensional domains such as robotics presents a significant challenge. Existing black-box approaches based on Markov chain Mon…