Results 201 to 202 of about 1,696,138 (202)
Some of the next articles are maybe not open access.

Hardware Specification with Temporal Logic: An Example

IEEE Transactions on Computers, 1982
exaly  

Control Barrier Functions for Signal Temporal Logic Tasks

2019
Dimos V. Dimarogonas, Lars Lindemann
exaly  
computer science - logic in computer science
mathematics
temporal logic
model checking
sequent calculi
sequent calculus
previous   19  20  21  

Home - About - Disclaimer - Privacy