ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1609.06283
  4. Cited By
Robotic Swarm Control from Spatio-Temporal Specifications

Robotic Swarm Control from Spatio-Temporal Specifications

20 September 2016
Iman Haghighi
Sadra Sadraddini
C. Belta
ArXiv (abs)PDFHTML

Papers citing "Robotic Swarm Control from Spatio-Temporal Specifications"

10 / 10 papers shown
Swarm manipulation: An efficient and accurate technique for multi-object
  manipulation in virtual reality
Swarm manipulation: An efficient and accurate technique for multi-object manipulation in virtual realityComputers & graphics (CG), 2024
Xiang Li
Jin-Du Wang
John J. Dudley
Per Ola Kristensson
103
8
0
24 Oct 2024
Efficient optimization-based trajectory planning
Efficient optimization-based trajectory planning
Jiayu Fan
Nikolce Murgovski
Jun Liang
284
4
0
29 Dec 2023
Weighted Graph-Based Signal Temporal Logic Inference Using Neural
  Networks
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
Nasim Baharisangari
Kazuma Hirota
Ruixuan Yan
A. Julius
Zhe Xu
347
8
0
16 Sep 2021
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal
  Logic Specifications: A Decentralized and Scalable Approach
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable ApproachIEEE Transactions on Automatic Control (IEEE TAC), 2021
Franck Djeumou
Zhe Xu
Murat Cubuktepe
Ufuk Topcu
122
13
0
29 Jun 2021
Neural Network-based Control for Multi-Agent Systems from
  Spatio-Temporal Specifications
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal SpecificationsIEEE Conference on Decision and Control (CDC), 2021
Suhail Alsalehi
N. Mehdipour
E. Bartocci
C. Belta
185
4
0
06 Apr 2021
Fast Decomposition of Temporal Logic Specifications for Heterogeneous
  Teams
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Kevin J. Leahy
Austin M. Jones
C. Vasile
157
27
0
30 Sep 2020
Specification mining and automated task planning for autonomous robots
  based on a graph-based spatial temporal logic
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic
Zhiyu Liu
Meng Jiang
Hai Lin
182
0
0
16 Jul 2020
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal
  Logic Specifications
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic SpecificationsIEEE Transactions on Control of Network Systems (TCNS), 2020
Murat Cubuktepe
Zhe Xu
Ufuk Topcu
256
2
0
25 Jun 2020
Policy Synthesis for Factored MDPs with Graph Temporal Logic
  Specifications
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications
Murat Cubuktepe
Zhe Xu
Ufuk Topcu
208
15
0
24 Jan 2020
Distributed Communication-aware Motion Planning for Multi-agent Systems
  from STL and SpaTeL Specifications
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications
Zhiyu Liu
B. Wu
Jin Dai
Hai Lin
129
53
0
29 May 2017
1
Page 1 of 1