activity
20192022
most citedTowards Partial Monitoring: It is Always too Soon to Give Up

4 citations · 8 across the 9 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2019

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

Xingyu Zhao, Matt Osborne, Jenny Lantair +6

The battery is a key component of autonomous robots. Its performance limits the robot's safety and reliability. Unlike liquid-fuel, a battery, as a chemical device, exhibits compli…