Xiang Yin 0003

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jianing Zhao

> Home > Persons > Xiang Yin 0003

Publications

2024
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/WangYZLY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/WangYZLY24
Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin:
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. IEEE Robotics Autom. Lett. 9(10): 8983-8990 (2024)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/ZhaoLY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/ZhaoLY24
Jianing Zhao, Shaoyuan Li, Xiang Yin:
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 69(7): 4710-4717 (2024)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/case/YeZLY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/YeZLY24
Bowen Ye, Jianing Zhao, Shaoyuan Li, Xiang Yin:
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints. CASE 2024: 2840-2845
2023
[i29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-15531
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-15531
Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin:
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. CoRR abs/2311.15531 (2023)
2022
[i22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-00268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-00268
Jianing Zhao, Keyi Zhu, Xiang Yin, Shaoyuan Li:
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments. CoRR abs/2204.00268 (2022)
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-01392
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-01392
Jianing Zhao, Xiang Yin, Shaoyuan Li:
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems. CoRR abs/2205.01392 (2022)

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.