Matthew Osborne

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 4

Top Topics

Formal Verification

Autonomous Robots

Health Management

Top Venues

Publications

Andrew T. Ching, Matthew Osborne
Identification and Estimation of Forward-Looking Behavior: The Case of Consumer Stockpiling. Mark. Sci. 39 (4) (2020)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR (2019)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM (2019)
Matthew Osborne, Jennifer Lantair, Zain Shafiq, Xingyu Zhao, Valentin Robu, David Flynn, John Perry
UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS. ICSRS (2019)