Jenny Lantair

According to our database, Jenny Lantair authored at least 3 papers between 2011 and 2019.

Collaborative distances:

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

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

2011

WiCcA : LTS Generation Tool for Wire Calculus.

Jennifer Lantair, Pawel Sobocinski

Proceedings of the Algebra and Coalgebra in Computer Science, 2011