Results 271 to 280 of about 823,326 (291)

Linear Logic

1997
Jules Desharnais, Bernard Hodgson, John Mullins   +2 more
openaire   +1 more source

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

IEEE Transactions on Automatic Control, 2008
Marius Kloetzer, Calin Belta
exaly  

Linear Time Logic Control of Discrete-Time Linear Systems

IEEE Transactions on Automatic Control, 2006
Paulo Tabuada
exaly  

Universal Linear-Optical Logic Gate with Maximal Intensity Contrast Ratios

ACS Photonics, 2018
Zhi Li, Chengwei Sun, Jianjun Chen
exaly  

Linear Temporal Logic

2022
Christian Colombo, Gordon J. Pace
openaire   +1 more source

Linear Logicality

1997
openaire   +1 more source

Linear Temporal Logic Symbolic Model Checking

Computer Science Review, 2011
Kristin Y Rozier
exaly  

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

IEEE Transactions on Automatic Control, 2014
Stephen L Smith, Calin Belta
exaly  

Linear Logic

2006
Di Cosmo, Roberto, Miller, Dale
openaire   +1 more source

All-Optical Logic Gates Based on Nanoscale Plasmonic Slot Waveguides

Nano Letters, 2012
Yulan Fu, Xiaoyong Hu, Cuicui Lu
exaly