Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, André Platzer. Verifiably safe SCUBA diving using commodity sensors: work-in-progress. In Proceedings of the International Conference on Embedded Software Companion, New York, NY, USA, October 13-18, 2019. pages 8, ACM, 2019. [doi]
Abstract is missing.