Results 61 to 70 of about 283,349 (325)
Managing LTL properties in Event-B refinement [PDF]
, 2014 Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but additional reasoning is required in order to establish liveness and fairness ...
Schneider, Steve +3 more
core +2 more sources
On Frequency LTL in Probabilistic Systems [PDF]
, 2015 We study frequency linear-time temporal logic (fLTL) which extends the linear-time temporal logic (LTL) with a path operator $G^p$ expressing that on a path, certain formula holds with at least a given frequency p, thus relaxing the semantics of the ...
Forejt, Vojtěch, Krčál, Jan
core +2 more sources
Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders
Advanced Functional Materials, EarlyView.This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao +5 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
A New Rule for LTL Tableaux [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s.
Mark Reynolds
doaj +1 more source
Advanced Functional Materials, EarlyView.Advances in integrating artificial intelligence into 3D bioprinting are systematically reviewed here. Machine learning, computer vision, robotics, natural language processing, and expert systems are examined for their roles in optimizing bioprinting parameters, real‐time monitoring, quality control, and predictive maintenance.
Joao Vitor Silva Robazzi +10 more
wiley +1 more source
A Normal Form for Spider Diagrams of Order [PDF]
, 2014 We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We de- fine a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal ...
Aidan Delaney +12 more
core +2 more sources
Logical consecutions in discrete linear temporal logic
Journal of Symbolic Logic, 2005 AbstractWe investigate logical consequence in temporal logics in terms of logical consecutions, i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be ‘correct’ in a propositional logic. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between ...
openaire +4 more sources
Regular Linear-Time Temporal Logic [PDF]
2010 17th International Symposium on Temporal Representation and Reasoning, 2010 This extended abstract presents the main ideas behind regular linear-time temporal logic (RLTL), a logic that generalizes linear-time temporal logic (LTL) with the ability to use regular expressions arbitrarily as sub-expressions. Unlike LTL, RLTL can define all !-regular languages and unlike previous approaches, RLTL is defined with an algebraic ...
Martin Leucker, César Sánchez
openaire +1 more source
Advanced Functional Materials, EarlyView.Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong +5 more
wiley +1 more source