Diagrammatic reasoning
相关论文数: 20
顶级研究者
最高引用论文
Freedom in Machinery
Jack Phillips
引用数: 143 • 2007
Verified simulation for robotics
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
引用数: 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
引用数: 28 • 2020
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
引用数: 20 • 2018
Categories, Quantum Computing, and Swarm Robotics: A Case Study
Maria Mannone, Valeria Seidita, Antonio Chella
引用数: 17 • 2022
Testing Robots Using CSP
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
引用数: 16 • 2019
Modelling and Verification for Swarm Robotics
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
引用数: 10 • 2018
Instructing Robots by Sketching: Learning from Demonstration via Probabilistic Diagrammatic Teaching
Weiming Zhi, Tianyi Zhang, Matthew Johnson‐Roberson
引用数: 9 • 2024
Introducing a Pictographic Language for Envisioning a Rich Variety of Enactive Systems with Different Degrees of Complexity
Roger K. Moore
引用数: 8 • 2016
How Intelligent is your Intelligent Robot?
Alan Winfield
引用数: 5 • 2017
A diagrammatic framework for intuitive human robot interaction
Eranda Lakshantha, Simon Egerton
引用数: 4 • 2016
Design, delay and performance in gaze control: Engineering and biological approaches
Peter Corke
引用数: 4 • 2007
Dynamic diagrammatic representations for reasoning and motion control
Marcello Frixione, Gianni Vercelli, Renato Zaccaria
引用数: 4 • 2002
Challenges in testing of cyclic systems
Ana Cavalcanti, Robert M. Hierons
引用数: 3 • 2023
Visual Specification of Properties for Robotic Designs
Waldeck Lindoso, Sidney Nogueira, Renato Domingues, Lucas Lima
引用数: 3 • 2021
Dynamic Spatial Reasoning Capability in a Graphical Interface Evaluation Tool
Michael Matessa
引用数: 3 • 2007
Diagrammatic physical robot models
Alvaro Miyazawa, Sara Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
引用数: 2 • 2025
A simplifying diagrammatic representation of crisp and fuzzy teleo-reactive semantic circuitry for application in robotic agent task control
Emanuel Katz
引用数: 2 • 2002
Stability Analysis of Multi-robot System Based on Network Communication
Yu Lu
引用数: 2 • 2010
Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach
Maurizio Piaggio, Antonio Sgorbissa
引用数: 2 • 2000