Results 301 to 310 of about 71,357 (311)

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications

SIAM Journal on Control and Optimization, 2006
Shengbing Jiang, Ratnesh Kumar
exaly  

Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

International Journal of Robotics Research, 2018
Philipp Schillinger, Mathias Bürger, Dimos V Dimarogonas   +2 more
exaly  

Temporal logic and applications—a tutorial

Computer Networks, 1992
Reinhard Gotzhein
exaly  

Concerning the semantic consequence relation in first-order temporal logic

Theoretical Computer Science, 1986
Andrzej Szalas
exaly  

Framed temporal logic programming

Science of Computer Programming, 2008
Zhenhua Duan, Maciej Koutný
exaly  

Parametric temporal logic for “model measuring”

ACM Transactions on Computational Logic, 2001
Rajeev Alur, Kousha Etessami, Salvatore la Torre   +2 more
exaly  

Robustness of temporal logic specifications for continuous-time signals

Theoretical Computer Science, 2009
George J Pappas
exaly  

Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis

IEEE Transactions on Automation Science and Engineering, 2018
Zhe Xu, A Agung Julius
exaly  

Combining linear-time temporal logic with constructiveness and paraconsistency

Journal of Applied Logic, 2010
Norihiro Kamide, Heinrich Wansing
exaly  

Control Barrier Functions for Signal Temporal Logic Tasks

2019
Lars Lindemann, Dimos V Dimarogonas
exaly