Sage Journals: Discover world-class research

Retricted access

Research article

First published 2023-5

Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods

Karen Leung, Nikos Aréchiga, Marco Pavone

The International Journal of Robotics Research

Open access

Research article

First published 2024-5

Online control synthesis for uncertain systems under signal temporal logic specifications

Pian Yu, Yulong Gao, Frank J. Jiang [...]

The International Journal of Robotics Research

Open access

Research article

First published 2025

MAPS 2 : Multi-robot autonomous motion planning under signal temporal logic specifications

Mayank Sewlia, Christos K. Verginis, Dimos V. Dimarogonas

The International Journal of Robotics Research

Retricted access

Research article

First published 1984-7

Technical Writing as Mapping Description onto Diagram: The Graphic Paradigms of Explanation

David Sten Herrstrom

Journal of Technical Writing and Communication

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 2000-12

Fuzzy Signal Detection Theory: Basic Postulates and Formulas for Analyzing Human and Machine Performance

Raja Parasuraman, Anthony J. Masalonis, Peter A. Hancock

Human Factors: The Journal of the Human Factors and Ergonomics Society

Retricted access

Research article

First published 1976-6

Discrimination of Dialect from Temporal Patterns of the Speech Signal

Claudia R. Wright, Michael T. Motley, Joseph G. Phelan

Psychological Reports

Retricted access

Review article

First published 2002-08

Composition Options for Tissue-Engineered Bone

Janine M. Orban, Kacey G. Marra, Jeffrey O. Hollinger

Tissue Engineering Part A: Research Advances

Retricted access

Research article

First published 2023-4

Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

Tobias Rye Torben, Jon Arne Glomsrud, Tom Arne Pedersen [...]

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

Open access

Research article

First published 2011-1

A Biometric Key Establishment Protocol for Body Area Networks

Lin Yao, Bing Liu, Guowei Wu [...]

International Journal of Distributed Sensor Networks

Search results