default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 135 matches
- 2024
- Maria Charitidou:
Control Synthesis for Multi-Agent Systems under Coupled Signal Temporal Logic Tasks: A Top-Down Model Predictive Approach. Royal Institute of Technology, Stockholm, Sweden, 2024 - Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia:
Controller synthesis for linear temporal logic and steady-state specifications. Auton. Agents Multi Agent Syst. 38(1): 17 (2024) - Keita Terashima, Koichi Kobayashi, Yuh Yamashita:
On reward distribution in reinforcement learning of multi-agent surveillance systems with temporal logic specifications. Adv. Robotics 38(6): 386-397 (2024) - Zesen Liu, Meng Guo, Zhongkui Li:
Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks. Autom. 159: 111377 (2024) - Bang Wang, Rui Xu, Dengyun Yu, Zhaoyu Li, Siyao Lu:
A mark-based hierarchical asynchronous temporal constraints reasoning algorithm for multi-agent mission planning. Expert Syst. Appl. 249: 123624 (2024) - Keita Terashima, Koichi Kobayashi, Yuh Yamashita:
Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(1): 31-37 (2024) - Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy:
Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]. J. Syst. Softw. 213: 112052 (2024) - Nasim Baharisangari, Narendhiran Saravanane, Zhe Xu:
Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. ACC 2024: 4289-4295 - Tiange Yang, Yuanyuan Zou, Jinfeng Liu, Tianyu Jia, Shaoyuan Li:
Time Robust Model Predictive Control for Heterogeneous Multi-Agent Systems Under Global Temporal Logic Tasks. ACC 2024: 2440-2445 - Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas:
Distributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic. ECC 2024: 305-310 - Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas:
Probabilistic tube-based control synthesis of stochastic multi-agent systems under signal temporal logic. CoRR abs/2405.02827 (2024) - 2023
- Nina Klobas, George B. Mertzios, Hendrik Molter, Rolf Niedermeier, Philipp Zschoche:
Interference-free walks in time: temporally disjoint paths. Auton. Agents Multi Agent Syst. 37(1): 1 (2023) - Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu:
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. IEEE Access 11: 91324-91335 (2023) - Keita Terashima, Koichi Kobayashi, Yuh Yamashita:
On Reward Distribution in Reinforcement Learning of Multi-Agent Surveillance Systems With Temporal Logic Specifications. GCCE 2023: 877-878 - Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu:
Energy-Aware Planning of Heterogeneous Multi-Agent Systems for Serving Cooperative Tasks with Temporal Logic Specifications. IROS 2023: 8659-8665 - Miriam Zawadi Muchika, Oudom Kem, Sarra Ben Abbès, Lynda Temal, Rim Hantach:
Achieving Interoperability in Energy Systems through Multi-Agent Systems and Semantic Web. WI/IAT 2023: 441-448 - Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas:
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts. CoRR abs/2309.13499 (2023) - Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas:
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic. CoRR abs/2311.06890 (2023) - 2022
- Julian Templeton, Thomas Tran:
Cluster-based improvement rates for trust establishment models in single or distributed multi-agent systems. Comput. Intell. 38(5): 1884-1919 (2022) - Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy:
Transformation-based model checking temporal trust in multi-agent systems. J. Syst. Softw. 192: 111383 (2022) - Jiachen Li, Hengbo Ma, Zhihao Zhang, Jinning Li, Masayoshi Tomizuka:
Spatio-Temporal Graph Dual-Attention Network for Multi-Agent Prediction and Tracking. IEEE Trans. Intell. Transp. Syst. 23(8): 10556-10569 (2022) - Fei Chen, Dimos V. Dimarogonas:
Funnel-based Cooperative Control of Leader-follower Multi-agent Systems under Signal Temporal Logic Specifications. ECC 2022: 906-911 - Yong Zhuang, Tong Yu, Junda Wu, Shiqu Wu, Shuai Li:
Spatial-Temporal Aligned Multi-Agent Learning for Visual Dialog Systems. ACM Multimedia 2022: 482-490 - Farzan Soleymani, Md. Suruz Miah, Davide Spinello:
Temporal Difference Learning of Area Coverage Control with Multi-Agent Systems. ROSE 2022: 1-8 - Zesen Liu, Meng Guo, Zhongkui Li:
Time Minimization and Online Synchronization for Multi-agent Systems under Collaborative Temporal Tasks. CoRR abs/2208.07756 (2022) - Nasim Baharisangari, Zhe Xu:
Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. CoRR abs/2210.01759 (2022) - 2021
- Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu:
Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates. IEEE Robotics Autom. Lett. 6(2): 1375-1382 (2021) - Aaron Ma, Mike Ouimet, Jorge Cortés:
Temporal sampling annealing schemes for receding horizon multi-agent planning. Robotics Auton. Syst. 143: 103823 (2021) - Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta:
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CDC 2021: 5110-5115 - Fabio Amaral, Lucas Sakurada, Paulo Leitão, Jorge Larangeira:
Multi-agent System for Monitoring Temperature in Sensing Surfaces including Hard and Soft Sensors. IECON 2021: 1-6
skipping 105 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-22 11:26 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint