Diagrammatic reasoning

Freedom in Machinery

Jack Phillips

Citations: 143 • 2007

Verified simulation for robotics

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis

Citations: 44 • 2019

RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing

Ana Cavalcanti, Will Barnett, James Baxter, Gustavo Carvalho, Madiel Conserva Filho, Alvaro Miyazawa, Pedro Ribeiro, Augusto Sampaio

Citations: 28 • 2020

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Citations: 20 • 2018

Categories, Quantum Computing, and Swarm Robotics: A Case Study

Maria Mannone, Valeria Seidita, Antonio Chella

Citations: 17 • 2022

Testing Robots Using CSP

Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru

Citations: 16 • 2019

Modelling and Verification for Swarm Robotics

Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis

Citations: 10 • 2018

Instructing Robots by Sketching: Learning from Demonstration via Probabilistic Diagrammatic Teaching

Weiming Zhi, Tianyi Zhang, Matthew Johnson‐Roberson

Citations: 9 • 2024

Introducing a Pictographic Language for Envisioning a Rich Variety of Enactive Systems with Different Degrees of Complexity

Roger K. Moore

Citations: 8 • 2016

How Intelligent is your Intelligent Robot?

Alan Winfield

Citations: 5 • 2017

A diagrammatic framework for intuitive human robot interaction

Eranda Lakshantha, Simon Egerton

Citations: 4 • 2016

Design, delay and performance in gaze control: Engineering and biological approaches

Peter Corke

Citations: 4 • 2007

Dynamic diagrammatic representations for reasoning and motion control

Marcello Frixione, Gianni Vercelli, Renato Zaccaria

Citations: 4 • 2002

Challenges in testing of cyclic systems

Ana Cavalcanti, Robert M. Hierons

Citations: 3 • 2023

Visual Specification of Properties for Robotic Designs

Waldeck Lindoso, Sidney Nogueira, Renato Domingues, Lucas Lima

Citations: 3 • 2021

Dynamic Spatial Reasoning Capability in a Graphical Interface Evaluation Tool

Michael Matessa

Citations: 3 • 2007

Diagrammatic physical robot models

Alvaro Miyazawa, Sara Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright

Citations: 2 • 2025

A simplifying diagrammatic representation of crisp and fuzzy teleo-reactive semantic circuitry for application in robotic agent task control

Emanuel Katz

Citations: 2 • 2002

Stability Analysis of Multi-robot System Based on Network Communication

Yu Lu

Citations: 2 • 2010

Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach

Maurizio Piaggio, Antonio Sgorbissa

Citations: 2 • 2000