|
[SBS+24]
Alex Stephens, Matthew Budd, Michal Staniaszek, Benoit Casseau, Paul Duckworth, Maurice Fallon, Nick Hawes and Bruno Lacerda.
Planning under uncertainty for safe robot exploration using Gaussian process prediction.
Autonomous Robots.
2024.
[Presents a framework for safe robot exploration in challenging environments, using PRISM as a backend solver.]
|
|
Links:
[Google]
[Google Scholar]
|