Verifiable secret sharing

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

Paul Bremner, Louise A. Dennis, Michael Fisher, Alan Winfield

Citations: 78 • 2019

Verifiable Self-Aware Agent-Based Autonomous Systems

Louise A. Dennis, Michael Fisher

Citations: 43 • 2020

Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations

Vasumathi Raman, Nir Piterman, Hadas Kress‐Gazit

Citations: 29 • 2013

A model for verifiable grounding and execution of complex natural language instructions

Adrian Boteanu, Thomas M. Howard, Jacob Arkin, Hadas Kress‐Gazit

Citations: 24 • 2016

An Interface for Programming Verifiable Autonomous Agents in ROS

Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Citations: 21 • 2020

vTSL - A Formally Verifiable DSL for Specifying Robot Tasks

Christian Heinzemann, Ralph Lange

Citations: 15 • 2018

Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control

Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark Campbell

Citations: 15 • 2018

Toward Formal Models and Languages for Verifiable Multi-Robot Systems

Citations: 14 • 2018

Verifiable Autonomous Systems

Louise A. Dennis, Michael Fisher

Citations: 12 • 2023

Verifiable Control of Robotic Swarm from High-level Specifications

Chen Ji, Salar Moarref, Hadas Kress‐Gazit

Citations: 12 • 2018

From Explanation to Synthesis: Compositional Program Induction for Learning from Demonstration

Citations: 11 • 2019

The Axiomatic Design of Chessmate: A Chess-playing Robot

Freyja Yeatman Ómarsdóttir, Róbert Bjarnar Ólafsson, Joseph Timothy Foley

Citations: 11 • 2016

Privacy‐preserving data integration scheme in industrial robot system based on fog computing and edge computing

Song Han, Hui Ma, Amir Taherkordi, Dapeng Lan, Yange Chen

Citations: 8 • 2024

Verifiable Autonomy and Responsible Robotics

Louise A. Dennis, Michael Fisher

Citations: 7 • 2020

Verification of Behaviour Networks Using Finite-State Automata

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns

Citations: 7 • 2012

A delegation-based cooperative robotic framework

Patrick Doherty, Fredrik Heintz

Citations: 7 • 2011

DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets

Sebastian Ebert, Johannes Mey, René Schöne, Sebastian Götz, Uwe Aßmann

Citations: 6 • 2023

Formal verification of the functionnal layer of robotic and autonomous systems

Mohammed Foughali

Citations: 5 • 2018

Towards a Verifiable Toolchain for Robotics

Charlie Street, Yazz Warsame, Masoumeh Mansouri, Michaela Klauck, Christian Henkel, Marco Lampacrescia, Matteo Palmas, Ralph Lange, Enrico Ghiorzi, Armando Tacchella, Razane Azrou, Raphaël Lallement, Matteo Morelli, G. Chen, Danielle Wallis, Stefano Bernagozzi, Stefano Rosa, Marco Randazzo, Lorenzo Natale

Citations: 4 • 2024

Computational Framework for Verifiable Decisions of Self-Driving Vehicles

Mohammed Al-Nuaimi, Hongyang Qu, Sándor M. Veres

Citations: 4 • 2018