Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis

5 October 2016

Papers citing "Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis"

13 / 13 papers shown

Title
Querying Perception Streams with Spatial Regular Expressions Jacob Anderson Georgios Fainekos Bardh Hoxha Hideki Okamoto Danil Prokhorov 65 0 0 08 Nov 2024
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference Zeyuan Jin Nasim Baharisangari Zhe Xu Sze Zheng Yong 16 0 0 16 Jun 2023
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications Wenliang Liu Kevin J. Leahy Zachary Serlin C. Belta 58 1 0 30 Nov 2022
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description Ruixuan Yan Tengfei Ma Achille Fokoue Maria Chang A. Julius AI4TS 73 8 0 15 Sep 2022
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach Franck Djeumou Zhe Xu Murat Cubuktepe Ufuk Topcu 19 9 0 29 Jun 2021
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach Jean-Raphael Gaglione Daniel Neider Rajarshi Roy Ufuk Topcu Zhe Xu 30 27 0 30 Apr 2021
Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates Ali Tevfik Buyukkocak Derya Aksaray Yasin Yazıcıoğlu 15 6 0 26 Mar 2021
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples Zhe Xu Bo Wu Aditya Ojha Daniel Neider Ufuk Topcu OffRL 87 30 0 28 Jun 2020
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications Murat Cubuktepe Zhe Xu Ufuk Topcu 24 2 0 25 Jun 2020
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences Zhe Xu Yuxin Chen Ufuk Topcu 105 1 0 27 Jan 2020
Transfer of Temporal Logic Formulas in Reinforcement Learning Zhe Xu Ufuk Topcu 69 52 0 10 Sep 2019
Multirobot Coordination with Counting Temporal Logics Yunus Emre Sahin Petter Nilsson N. Ozay 52 64 0 31 Oct 2018
A Robust Genetic Algorithm for Learning Temporal Specifications from Data L. Nenzi Simone Silvetti E. Bartocci Luca Bortolussi 53 45 0 13 Nov 2017