Search Results for author:
Found 1 papers, 0 papers with code
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
