Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2103.06047
Cited By

Signal Temporal Logic Task Decomposition via Convex Optimization

Signal Temporal Logic Task Decomposition via Convex Optimization

IEEE Control Systems Letters (L-CSS), 2021

10 March 2021

Maria Charitidou

Dimos V. Dimarogonas

ArXiv (abs)PDF HTML

Papers citing "Signal Temporal Logic Task Decomposition via Convex Optimization"

3 / 3 papers shown

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems:
Developments and Challenges

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

297

51

0

20 Feb 2024

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for
Multi-Agent Systems via Assume-Guarantee Contracts

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee ContractsIEEE Transactions on Automatic Control (TAC), 2023

Dimos V. Dimarogonas

67

10

0

23 Sep 2023

Neuro-symbolic Models for Interpretable Time Series Classification using
Temporal Logic Description

Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic DescriptionIndustrial Conference on Data Mining (IDM), 2022

193

14

0

15 Sep 2022

Page 1 of 1