A temporal logic for reasoning about partially ordered computations (Extended Abstract) [PDF]
, 1984 Shlomit S. Pinter, Pierre Wolper
openalex +1 more source
Illuminating Quantum Phenomena in 2D Materials: The Power of Optical Spectroscopy
Advanced Optical Materials, EarlyView.Atomically thin 2D materials host quantum tunnelling, plasmonic and excitonic phenomena driven by reduced dimensionality and strong many‐body interactions. This review links these effects to state‐of‐the‐art optical probes—NSOM, pump–probe, CARS, TRR, and optical frequency comb spectroscopy—highlighting how their ultrahigh spatial–temporal resolution ...
Yuhui Zhou +4 more
wiley +1 more source
A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. [PDF]
PeerJ Comput Sci, 2022 Zhao W, Liu Z.
europepmc +1 more source
Automatic verification of asynchronous circuits using temporal logic [PDF]
, 1986 David L. Dill, E. M. Clarke
openalex +1 more source
Advanced Optical Materials, EarlyView.Light intensity‐induced photoconductance polarity switching is demonstrated in geometrically asymmetric Schottky MoSe2 devices. The devices exhibit bidirectional reconfigurable optoelectronic logic gates and synaptic applications using a single light source, opening new avenues for multifunctional optoelectronic and neuromorphic computing systems ...
Amin Abnavi +4 more
wiley +1 more source
Fuzzy Linear Temporal Logic with Quality Constraints
MathematicsAs an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal logic
Xianfeng Yu, Yongming Li, Shengling Geng
doaj +1 more source
Compositional RL Agents That Follow Language Commands in Temporal Logic. [PDF]
Front Robot AI, 2021 Kuo YL, Katz B, Barbu A.
europepmc +1 more source
Proving real-time properties of programs with temporal logic [PDF]
, 1981 Arthur Bernstein, Paul K. Harter
openalex +1 more source
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach. [PDF]
PLoS One, 2021 Xu Z, Wu B, Topcu U.
europepmc +1 more source