Runtime verification of robotic aspects of the Mars rover
The Curiosity Mars rover is one of the most complex and successfully deployed systems in planetary exploration to date, sent…
Audio Speech & Language Technology | Blockchain & Fintech |
Computer Vision | Data Science |
Deep Learning | Digital Health |
Internet of Things | Networks & Telecommunications |
Robotics | Software Engineering & Web Applications |
Testing & Verification |