Verifiable secret sharing
相关论文数: 20
顶级研究者
最高引用论文
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
Paul Bremner, Louise A. Dennis, Michael Fisher, Alan Winfield
引用数: 78 • 2019
Verifiable Self-Aware Agent-Based Autonomous Systems
Louise A. Dennis, Michael Fisher
引用数: 43 • 2020
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations
Vasumathi Raman, Nir Piterman, Hadas Kress‐Gazit
引用数: 29 • 2013
A model for verifiable grounding and execution of complex natural language instructions
Adrian Boteanu, Thomas M. Howard, Jacob Arkin, Hadas Kress‐Gazit
引用数: 24 • 2016
An Interface for Programming Verifiable Autonomous Agents in ROS
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
引用数: 21 • 2020
vTSL - A Formally Verifiable DSL for Specifying Robot Tasks
Christian Heinzemann, Ralph Lange
引用数: 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
引用数: 15 • 2018
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
引用数: 14 • 2018
Verifiable Autonomous Systems
Louise A. Dennis, Michael Fisher
引用数: 12 • 2023
Verifiable Control of Robotic Swarm from High-level Specifications
Chen Ji, Salar Moarref, Hadas Kress‐Gazit
引用数: 12 • 2018
From Explanation to Synthesis: Compositional Program Induction for Learning from Demonstration
引用数: 11 • 2019
The Axiomatic Design of Chessmate: A Chess-playing Robot
Freyja Yeatman Ómarsdóttir, Róbert Bjarnar Ólafsson, Joseph Timothy Foley
引用数: 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
引用数: 8 • 2024
Verifiable Autonomy and Responsible Robotics
Louise A. Dennis, Michael Fisher
引用数: 7 • 2020
Verification of Behaviour Networks Using Finite-State Automata
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
引用数: 7 • 2012
A delegation-based cooperative robotic framework
Patrick Doherty, Fredrik Heintz
引用数: 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
引用数: 6 • 2023
Formal verification of the functionnal layer of robotic and autonomous systems
Mohammed Foughali
引用数: 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
引用数: 4 • 2024
Computational Framework for Verifiable Decisions of Self-Driving Vehicles
Mohammed Al-Nuaimi, Hongyang Qu, Sándor M. Veres
引用数: 4 • 2018