Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-10

Formal verification of obstacle avoidance and navigation of ground robots

Stefan Mitsch, Khalil Ghorbal, David Vogelbacher [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2010-1-1

Provably correct inline monitoring for multithreaded Java-like programs

Mads Dam, Bart Jacobs, Andreas Lundblad [...]

Journal of Computer Security

Retricted access

Research article

First published 2024-8

Sample-efficient safety assurances using conformal prediction

Rachel Luo, Shengjia Zhao, Jonathan Kuck [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2010-12

A Convergence Proof for the Particle Swarm Optimiser

Frans van den Bergh, Andries Petrus Engelbrecht

Fundamenta Informaticae

Retricted access

Research article

First published 1994-04

Planning and Control of Robotic Juggling and Catching Tasks

M. Buehler, D.E. Koditschek, P.J. Kindlmann

The International Journal of Robotics Research

Retricted access

Research article

First published 2014-11

Automatic move pruning for single-agent search

Robert C. Holte, Neil Burch

The European Journal on Artificial Intelligence

Open access

Research article

First published 2014-1-2

A tutorial on assumption-based argumentation

Francesca Toni

Argument & Computation

Retricted access

Research article

First published 2024-12

A geometric characterization of observability in inertial parameter identification

Patrick M. Wensing, Günter Niemeyer, Jean-Jacques E. Slotine

The International Journal of Robotics Research

Retricted access

Research article

First published 1995-9-1

Combining Knowledge and Search to Yield Infallible Endgame Programs 1

W. Barth

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 2015-10

On the minimal revision problem of specification automata

Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan

The International Journal of Robotics Research

Search results