Results 281 to 290 of about 2,393,674 (352)

All-Optical Encryption and Decryption at 120 Gb/s Using Carrier Reservoir Semiconductor Optical Amplifier-Based Mach-Zehnder Interferometers. [PDF]

Micromachines (Basel)
Kotb A, Zoiros KE, Chen W.
europepmc   +1 more source

ROS 2-Based Architecture for Autonomous Driving Systems: Design and Implementation. [PDF]

Sensors (Basel)
Bonci A, Brunella F, Colletta M, Biase AD, Dragoni AF, Libofsha A.   +5 more
europepmc   +1 more source

From pixels to camera: scaling superconducting nanowire single-photon detectors for imaging at the quantum-limit. [PDF]

Nano Converg
Gao J, Chang J, Lopez-Rodriguez B, Zadeh IE, Zwiller V, Elshaari AW.   +5 more
europepmc   +1 more source

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts

Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas   +2 more
openalex   +1 more source

Explainable artificial intelligence in pancreatic cancer prediction: from transparency to clinical decision-making. [PDF]

Front Oncol
Alharbi W, Alfayez AA.
europepmc   +1 more source

Model Checking Concurrent Systems Using Temporal Logics

, 2015
Roy Mennicke
openalex   +1 more source

Temporal logic robot control using machine learning

Wenliang Liu
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Temporal logic

Hybrid Feedback Control, 1982
Melkior Ornik, M. Broucke, Andrew D. Lewis, R. Berlin, J. Bentsman   +4 more
openaire   +2 more sources