Matthew Osborne

According to our database, Matthew Osborne authored at least 3 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Identification and Estimation of Forward-Looking Behavior: The Case of Consumer Stockpiling.

Andrew T. Ching, Matthew Osborne

Mark. Sci., 2020

2019

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.

Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS.

Matthew Osborne, Jennifer Lantair, Zain Shafiq, Xingyu Zhao, Valentin Robu, David Flynn, John Perry

Proceedings of the 4th International Conference on System Reliability and Safety, 2019