2 papers
cs.SE2021
A Serverless Distributed Ledger for Enterprises
Johannes Sedlmeir, Tim Wagner, Emil Djerekarov +3
Enterprises have been attracted by the capability of blockchains to provide a single source of truth for workloads that span companies, geographies, and clouds while retaining the…
cs.AI2019
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
Hadrien Bride, Jin Song Dong, Ryan Green +3
While AI techniques have found many successful applications in autonomous systems, many of them permit behaviours that are difficult to interpret and may lead to uncertain results.…