Results 51 to 60 of about 294,052 (285)
Gödel–Dummett linear temporal logic
Artificial IntelligencearXiv admin note: substantial text overlap with arXiv:2205.00574, arXiv:2205 ...
Juan Pablo Aguilera +3 more
openaire +4 more sources
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Towards an algebrization of a linear temporal logic
CQD Revista Eletrônica Paulista de MatemáticaThe subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas +2 more
doaj +1 more source
Transformational Verification of Linear Temporal Logic [PDF]
, 2009 We present a new method for verifying Linear Temporal Logic (LTL) properties of finite state reactive systems based on logic programming and program transformation.
Pettorossi, Alberto +2 more
core
Towards a Unified Framework for Declarative Structured Communications [PDF]
, 2009 We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis ...
López, Hugo A. +2 more
core +5 more sources
Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips
Advanced Functional Materials, EarlyView.This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee +16 more
wiley +1 more source
A Logic for Constraint-based Security Protocol Analysis [PDF]
, 2006 We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties.
Corin, R.J., Etalle, S., Saptawijaya, A.
core +5 more sources
Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?
Advanced Functional Materials, EarlyView.This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee +7 more
wiley +1 more source
End-to-End Path Planning Under Linear Temporal Logic Specifications
IEEE AccessThis paper presents a novel deep learning framework for robotic path planning that seamlessly integrates Linear Temporal Logic (LTL) with trajectory optimization to meet mission specifications efficiently. Our approach innovates on several fronts: First,
Chaeeun Yang +2 more
doaj +1 more source
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints [PDF]
, 2012 In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a temporal logic statement about some properties that hold at the vertices ...
Belta, Calin +2 more
core +2 more sources