Soundness

A control Lyapunov function approach to multiagent coordination

Petter Ögren, Magnus Egerstedt, Xiaoming Hu

引用数: 388 • 2002

Fixed point theorems and semantics: a folk tale

J.-L. Lassez, V.L. Nguyen, Ea Sonenberg

引用数: 133 • 1982

Exploiting constraints in design synthesis

Jonathan Finger

引用数: 129 • 1987

Dynamic visual servo control methods for continuous operation of a fruit harvesting robot working throughout an orchard

Mingyou Chen, Zengxin Chen, Lufeng Luo, Yunchao Tang, Jiabing Cheng, Huiling Wei, Jinhai Wang

引用数: 119 • 2024

Logics of Dynamical Systems

André Platzer

引用数: 104 • 2012

A control Lyapunov function approach to multi-agent coordination

Petter Ögren, Magnus Egerstedt, Xiaoming Hu

引用数: 96 • 2002

Backtracking temporal logic synthesis for uncertain environments

Scott C. Livingston, Richard M. Murray, Joel W. Burdick

引用数: 62 • 2012

A deduction model of belief and its logics

Kurt Konolige

引用数: 62 • 1984

A control Lyapunov function approach to multi-agent coordination

Petter Ögren, Magnus Egerstedt, Xiaoming Hu

引用数: 55 • 2003

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

Robert Demolombe, Maria del Pilar Pozos Parra

引用数: 50 • 2000

Artificial souls: motivated emotional robots

Dietrich Dörner, Katrin Hille

引用数: 38 • 2002

A type-sound calculus of computational fields

Ferruccio Damiani, Mirko Viroli, Jacob Beal

引用数: 30 • 2015

A Novel Parsimonious Cause-Effect Reasoning Algorithm for Robot Imitation and Plan Recognition

Garrett E. Katz, Di-Wei Huang, Theresa C. Hauge, Rodolphe J. Gentili, James A. Reggia

引用数: 28 • 2017

Position and Attitude Control of an Underactuated Flying Humanoid Robot

Gabriele Nava, Luca Fiorio, Silvio Traversaro, Daniele Pucci

引用数: 26 • 2018

Forward and Bidirectional Planning Based on Reinforcement Learning and Neural Networks in a Simulated Robot

Gianluca Baldassarre

引用数: 25 • 2003

Robot motion planning using adaptive random walks

Stefano Carpin, Gianluigi Pillonetto

引用数: 25 • 2004

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions

引用数: 23 • 2016

BT Expansion: a Sound and Complete Algorithm for Behavior Planning of Intelligent Robots with Behavior Trees

Zhongxuan Cai, Minglong Li, Wanrong Huang, Wenjing Yang

引用数: 21 • 2021

Precise control mode for concrete vibration time based on attention-enhanced machine vision

Daqi Jiang, Lingjie Kong, Hong Wang, Dongxu Pan, Tan Li, Jiasheng Tan

引用数: 20 • 2023

A Multi-Objective Optimization of a Robotic Arm for Service Tasks

Cristina Castejón, Giuseppe Carbone, Juan Carlos García-Prada, Marco Ceccarelli

引用数: 19 • 2010