Rewriting

Generality in artificial intelligence

John McCarthy

引用数: 394 • 1987

Reasoning (on) Service Component Ensembles in Rewriting Logic

Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing

引用数: 30 • 2014

On Software Quality-motivated Design of a Real-time Framework for Complex Robot Control Systems

Max Reichardt, Tobias Föhst, Karsten Berns

引用数: 25 • 2024

A vision-based computed torque control for parallel kinematic machines

Flavien Paccot, Philippe Lemoine, Nicolas Andreff, Damien Chablat, Philippe Martinet

引用数: 25 • 2008

WebRobot: web robotic process automation using interactive programming-by-demonstration

Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang

引用数: 24 • 2022

Modelling and analyzing adaptive self-assembly strategies with Maude

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin

引用数: 22 • 2013

Model Checking of a Mobile Robots Perpetual Exploration Algorithm

Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata

引用数: 20 • 2017

Model Checking of Robot Gathering

Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata

引用数: 14 • 2018

Runtime Monitoring of Time Window Temporal Logic

Ernest Bonnah, Khaza Anuarul Hoque

引用数: 12 • 2022

Workspace analysis of planar and spatial redundant cable robots

Ali Ghasemi, Mohammad Eghtesad, Mehrdad Farid

引用数: 11 • 2008

Putting Cloud 9 IDE on the Wheels for Programming Cyber-Physical / Internet of Things Platforms - Providing Educational Prototypes

Andrej Škraba, Vladimir Stanovov, Eugene Semenkin, Andrej Koložvari, Radovan Stojanović, Davorin Kofjač

引用数: 8 • 2016

Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems

Juan F. Inglés-Romero, Cristina Vicente-Chicote

引用数: 8 • 2013

From Alan Turing to Ian Mcewan: Artificial Intelligence, Lies and Ethics in <i>Machines Like Me</i>

Biwu Shang

引用数: 7 • 2020

Online Monitoring of Metric Temporal Logic using Sequential Networks

Dogan Ulus

引用数: 7 • 2026

ROAR: Resource Oriented Agent Architecture for the Autonomy of Robots

Arnaud Degroote, Simon Lacroix

引用数: 7 • 2011

A Rewriting Framework for Interacting Cyber-Physical Agents

Benjamin Lion, Farhad Arbab, Carolyn Talcott

引用数: 6 • 2022

Runtime Composition of Systems of Interacting Cyber-Physical Components

Benjamin Lion, Farhad Arbab, Carolyn Talcott

引用数: 5 • 2023

A Grammatical Approach to Cooperative Control

John-Michael McNew, Eric Klavins

引用数: 5 • 2007

Computer-based system for training and selecting mobile robot operators - evolving software tools.

Krzysztof Sapiecha, Mariusz Bedla, Barbara Łukawska, Paweł Paduch

引用数: 4 • 2007

Towards a Taxonomy for Reversible Computation Approaches

Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jarosław Adam Miszczak, Iain Phillips, Irek Ulidowski, Germán Vidal

引用数: 3 • 2023