3 citations · 3 across the 3 of their papers we have counts for
Showing 2019Show all
2 papers · 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…
cs.LO2019
Model Comparison Games for Horn Description Logics
Jean Christoph Jung, Fabio Papacchini, Frank Wolter +1
Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated q…