[Advances in Intelligent Systems and Computing] Theory and Application of Reuse, Integration, and Data Science Volume 838 || Analyzing Cleaning Robots Using Probabilistic Model Checking
Bouabana-Tebibel, Thouraya, Bouzar-Benlabiod, Lydia, Rubin, Stuart H.Volume:
10.1007/97
Year:
2019
DOI:
10.1007/978-3-319-98056-0_2
File:
PDF, 1.37 MB
2019