1. The STRANDS project: Long-term autonomy in everyday environments;Hawes;IEEE Robot. Autom. Mag.,2017
2. M.M. Veloso, J. Biswas, B. Coltin, S. Rosenthal, CoBots: Robust symbiotic autonomous mobile service robots, in: Proceedings of the 24th international joint conference on artificial intelligence, IJCAI, 2015.
3. Artificial intelligence for long-term robot autonomy: A survey;Kunze;IEEE Robot. Autom. Lett.,2018
4. PRISM 4.0: Verification of probabilistic real-time systems;Kwiatkowska,2011
5. Pareto curves for probabilistic model checking;Forejt,2012