Sage Journals: Discover world-class research

Retricted access

Research article

First published 2023-4

Using formal methods for autonomous systems: Five recipes for formal verification

Matt Luckcuck

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2019-10

Multi-objective optimal control for proactive decision making with temporal logic models

Sandeep P. Chinchali, Scott C. Livingston, Mo Chen [...]

The International Journal of Robotics Research

Open access

Research article

First published 2023-11

Robustness in formation control of mobile robots using leader-follower method

Shinsuke Oh-Hara, Atsushi Fujimori

Advances in Mechanical Engineering

Retricted access

Research article

First published 2022-11

Cooperative control method of robot formation movement path based on machine vision

Yang Zhang

Journal of Computational Methods in Sciences and Engineering

Open access

Research article

First published 2018-7

Verification of visibility-based properties on multiple moving robots in an environment with obstacles

Ali Narenji Sheshkalani, Ramtin Khosravi

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2024-11

Planning for heterogeneous teams of robots with temporal logic,capability,and resource constraints

Gustavo A. Cardona, Cristian-Ioan Vasile

The International Journal of Robotics Research

Retricted access

Research article

First published 2010-08

Robot-Assisted Laparoscopic Skills Development: Formal Versus Informal Training

Aaron D. Benson, Brandan A. Kramer, Margaret Boehler [...]

Journal of Endourology

Retricted access

Research article

First published 2013-7

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 1988-08

Compliant Robot Motion I. A Formalism for Specifying Compliant Motion Tasks

J. De Schutter, H. Van Brussel

The International Journal of Robotics Research

Retricted access

Research article

First published 2022-9-20

Decision-making under uncertainty for multi-robot systems

Bruno Lacerda, Anna Gautier, Alex Rutherford [...]

The European Journal on Artificial Intelligence

Search results