Results 221 to 230 of about 2,393,674 (352)

Deductive Planning and Composite Actions in Temporal Action Logic

, 2007
Martin Magnusson
openalex   +1 more source

Direct data-driven control with signal temporal logic specifications

B.C. van Huijgevoort, Chris Verhoek, Robert A. Toth, Sofie Haesaert   +3 more
openalex   +1 more source

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications [PDF]

Nhan-Khanh Le, Erfaun Noorani, Sandra Hirche, John S. Baras   +3 more
openalex   +1 more source

Bridging High‐Fidelity Simulations and Physics‐Based Learning using a Surrogate Model for Soft Robot Control

Advanced Intelligent Systems, EarlyView.
A surrogate‐model‐based framework is proposed for combining high‐fidelity finite element method and efficient physics simulations to enable fast, accurate soft robot simulation for reinforcement learning, validated through sim‐to‐real experiments. Soft robotics holds immense promise for applications requiring adaptability and compliant interactions ...
Taehwa Hong, Jungjae Lee, Byung‐Hyun Song, Yong‐Lae Park   +3 more
wiley   +1 more source

Response to: Query Design Logic in TriNetX Studies. [PDF]

Health Sci Rep
Trager RJ, Cupler ZA, Gliedt JA, Fischer RA, Srinivasan R, Thorfinnson H.   +5 more
europepmc   +1 more source

The Temporal Logic of Rewriting

, 2007
José Meseguer
openalex   +1 more source

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees [PDF]

Jun Wang, David Smith Sundarsingh, Jyotirmoy V. Deshmukh, Yiannis Kantaros   +3 more
openalex   +1 more source

A Review of Trans‐Dimensional Kirigami: From Compliant Mechanism to Multifunctional Robot

Advanced Intelligent Systems, EarlyView.
This review outlines recent advancements in the geometric design and mechanical properties of kirigami. The kirigami is classified into two categories from a compliant mechanism perspective, highlighting their applications in metamaterials and robotic systems. Finally, the future research directions, is explored focusing on the potential of integrating
Yang Yu, Jinyao Zhang, Dengchen Wang, Yanqi Yin, Yehui Wu, Ruiyu Bai, Jiaqiang Yao, Yupei Zhang, Jingwen Yin, Chao Tang, Alexey S. Fomin, Wenjie Sun, Chen Liu, Bo Li, Guimin Chen   +14 more
wiley   +1 more source

Synaptic Plasticity Engineering for Neural Precision, Temporal Learning, and Scalable Neuromorphic Systems. [PDF]

Nanomicro Lett
Liu Z, Fang Y, Liu Q, Tian B, Zhao C.
europepmc   +1 more source

Temporal Rupture and the Logic of the Lack: : Trauma, Exile, and the Fragmentation of Subjectivity

Dafov, Boyan
openalex   +1 more source