14 citations · 18 across the 5 of their papers we have counts for
5 papers
Decentralized Fair Division
Joel Miller, Rishi Advani, Ian Kash +2
Fair division is typically framed from a centralized perspective. However, in practice resource allocation often occurs via decentralized networks. We study a decentralized variant…
A Case Study in Analytic Protocol Analysis in ACL2
Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan +2
When verifying computer systems we sometimes want to study their asymptotic behaviors, i.e., how they behave in the long run. In such cases, we need real analysis, the area of math…
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…
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…
Self-Similarity Breeds Resilience
Sanjiva Prasad, Lenore D. Zuck
Self-similarity is the property of a system being similar to a part of itself. We posit that a special class of behaviourally self-similar systems exhibits a degree of resilience t…