Results 121 to 130 of about 71,669 (311)
On temporal logic versus datalog
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Guessarian, Irene +3 more
openaire +3 more sources
Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays
Advanced Materials Technologies, EarlyView.Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley +1 more source
Program transformations using temporal logic side conditions [PDF]
This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of ...
Kalvala, Sara +2 more
core
Prescribed Performance Control for Signal Temporal Logic Specifications [PDF]
, 2017 Motivated by the recent interest in formal methods-based control for dynamic robots, we discuss the applicability of prescribed performance control to nonlinear systems subject to signal temporal logic specifications.
Verginis, Christos, +8 more
core +1 more source
Advanced Materials Technologies, EarlyView.An in situ integrated TiO2/SiOx/Al2O3 synaptic phototransistor couples ultraviolet and electrical stimuli within a scalable, CMOS‐compatible oxide stack. Multimodal plasticity, spike‐timing‐dependent learning, and bee‐inspired associative conditioning are achieved through trap‐mediated temporal dynamics.
Youngbin Yoon +5 more
wiley +1 more source
Labelled Tableaux for Distributed Temporal Logic [PDF]
, 2009 The distributed temporal logic DTL is a logic for reasoning about temporal properties of discrete distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous ...
VIGANO', Luca +3 more
core +1 more source
DNA Strand-Displacement Temporal Logic Circuits. [PDF]
J Am Chem Soc, 2022 Lapteva AP, Sarraf N, Qian L.
europepmc +1 more source
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source