Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
Signal Temporal Logic
Generalized Mean Robustness for Signal Temporal Logic
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees
Rewrite-Based Decomposition of Signal Temporal Logic Specifications
Planning for Heterogeneous Teams of Robots with Temporal Logic, Capability, and Resource Constraints
Pages
