Login / Signup
Tiange Yang
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Temporal Logic
Satisfiability Problem
Reactive Systems
Mazurkiewicz Traces
Top Venues
CoRR
IEEE Trans. Ind. Electron.
Circuits Syst. Signal Process.
</>
Publications
</>
Yixiao Yang
,
Tiange Yang
,
Yuanyuan Zou
,
Shaoyuan Li
,
Yaru Yang
A Dual-Layer Network Deep Reinforcement Learning Algorithm for Multi-objective Signal Temporal Logic Tasks.
Circuits Syst. Signal Process.
43 (4) (2024)
Tiange Yang
,
Yuanyuan Zou
,
Jinfeng Liu
,
Tianyu Jia
,
Shaoyuan Li
Multi-Agent Robust Control Synthesis from Global Temporal Logic Tasks.
CoRR
(2023)
Xiaoyi Zhou
,
Tiange Yang
,
Yuanyuan Zou
,
Shaoyuan Li
,
Hao Fang
Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks.
IEEE Trans. Ind. Electron.
70 (9) (2023)