27 citations · 81 across the 20 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019★ 17 cited
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…
cs.MA2019
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach
Angelo Ferrando, Michael Winikoff, Stephen Cranefield +2
Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce iss…