14 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.CY2020★ 14 cited
Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust
Ufuk Topcu, Nadya Bliss, Nancy Cooke +4
The challenge of establishing assurance in autonomy is rapidly attracting increasing interest in the industry, government, and academia. Autonomy is a broad and expansive capabilit…
cs.LO2017★ 3 cited
From model checking to a temporal proof for partial models: preliminary example
A. Bernasconi, C. Menghi, P. Spoletini +2
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed fo…