Signal Temporal Logic
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
Classification of Time-Series Data Using Boosted Decision Trees
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints
Pages
![Subscribe to RSS - Signal Temporal Logic](https://cristianvasile.com/misc/feed.png)