Probabilistic model-checking of collaborative robots: A human injury assessment in agricultural applications. Guevara, L., Khalid, M., Hanheide, M., & Parsons, S. Computers and Electronics in Agriculture, 222:108987, Elsevier BV, July, 2024. ![Probabilistic model-checking of collaborative robots: A human injury assessment in agricultural applications [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @article{g885f5,
author = {Guevara, Leonardo and Khalid, Muhammad and Hanheide, Marc and Parsons, Simon},
doi = {10.1016/j.compag.2024.108987},
issn = {0168-1699},
journal = {Computers and Electronics in Agriculture},
link = {https://doi.org/10.1016/j.compag.2024.108987},
month = {July},
pages = {108987},
publisher = {Elsevier BV},
title = {Probabilistic model-checking of collaborative robots: A human injury assessment in agricultural applications},
url = {http://dx.doi.org/10.1016/j.compag.2024.108987},
volume = {222},
year = {2024}
}
Downloads: 0
{"_id":"T66jN9QL2xBb6gCFt","bibbaseid":"guevara-khalid-hanheide-parsons-probabilisticmodelcheckingofcollaborativerobotsahumaninjuryassessmentinagriculturalapplications-2024","author_short":["Guevara, L.","Khalid, M.","Hanheide, M.","Parsons, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Guevara"],"firstnames":["Leonardo"],"suffixes":[]},{"propositions":[],"lastnames":["Khalid"],"firstnames":["Muhammad"],"suffixes":[]},{"propositions":[],"lastnames":["Hanheide"],"firstnames":["Marc"],"suffixes":[]},{"propositions":[],"lastnames":["Parsons"],"firstnames":["Simon"],"suffixes":[]}],"doi":"10.1016/j.compag.2024.108987","issn":"0168-1699","journal":"Computers and Electronics in Agriculture","link":"https://doi.org/10.1016/j.compag.2024.108987","month":"July","pages":"108987","publisher":"Elsevier BV","title":"Probabilistic model-checking of collaborative robots: A human injury assessment in agricultural applications","url":"http://dx.doi.org/10.1016/j.compag.2024.108987","volume":"222","year":"2024","bibtex":"@article{g885f5,\n author = {Guevara, Leonardo and Khalid, Muhammad and Hanheide, Marc and Parsons, Simon},\n doi = {10.1016/j.compag.2024.108987},\n issn = {0168-1699},\n journal = {Computers and Electronics in Agriculture},\n link = {https://doi.org/10.1016/j.compag.2024.108987},\n month = {July},\n pages = {108987},\n publisher = {Elsevier BV},\n title = {Probabilistic model-checking of collaborative robots: A human injury assessment in agricultural applications},\n url = {http://dx.doi.org/10.1016/j.compag.2024.108987},\n volume = {222},\n year = {2024}\n}\n\n","author_short":["Guevara, L.","Khalid, M.","Hanheide, M.","Parsons, S."],"key":"g885f5","id":"g885f5","bibbaseid":"guevara-khalid-hanheide-parsons-probabilisticmodelcheckingofcollaborativerobotsahumaninjuryassessmentinagriculturalapplications-2024","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.compag.2024.108987"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://lcas.lincoln.ac.uk/repository/repository/misc/bibtex/lcas.bib","dataSources":["nZg8SaGThANpWb72C","MKEZMBvBaL9b3ZiYi","84DM5r2DZqnvDti2F"],"keywords":[],"search_terms":["probabilistic","model","checking","collaborative","robots","human","injury","assessment","agricultural","applications","guevara","khalid","hanheide","parsons"],"title":"Probabilistic model-checking of collaborative robots: A human injury assessment in agricultural applications","year":2024}