ZHU, SHUFANG
ZHU, SHUFANG
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Act for Your Duties but Maintain Your Rights
2022 Zhu, S.; De Giacomo, G.
Compositional Safety LTL Synthesis
2023 Bansal, Suguman; De Giacomo, Giuseppe; Di Stasio, Antonio; Li, Yong; Vardi, Moshe Y.; Zhu, Shufang
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
2021 DE GIACOMO, Giuseppe; DI STASIO, Antonio; Tabajara, Lucas M.; Vardi, Moshe; Zhu, Shufang
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
2023 DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
2022 De Giacomo, G.; Favorito, M.; Li, J.; Vardi, M. Y.; Xiao, S.; Zhu, S.
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
2023 Aminof, B.; De Giacomo, G.; Di Stasio, A.; Francon, H.; Rubin, S.; Zhu, S.
LTLf Synthesis with Fairness and Stability Assumptions
2020 Zhu, Shufang; De Giacomo, Giuseppe; Pu, Geguang; Vardi, Moshe Y.
Mimicking Behaviors in Separated Domains
2023 De Giacomo, G.; Fried, D.; Patrizi, F.; Zhu, S.
On the Power of Automata Minimization in Temporal Synthesis
2021 Zhu, Shufang; Tabajara, Lucas M.; Pu, Geguang; Vardi, Moshe Y.
On-the-fly Synthesis for LTL over Finite Traces
2021 Xiao, Shengping; Li, Jianwen; Zhu, Shufang; Shi, Yingying; Pu, Geguang; Vardi, Moshe Y.
Symbolic LTLf Best-Effort Synthesis
2023 DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang
Synthesis of Maximally Permissive Strategies for LTLf Specifications
2022 Zhu, S.; De Giacomo, G.
Synthesis with mandatory stop actions
2021 DE GIACOMO, Giuseppe; DI STASIO, Antonio; Perelli, Giuseppe; Zhu, Shufang
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
2020 De Giacomo, Giuseppe; Di Stasio, Antonio; Vardi, Moshe; Zhu, Shufang
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Act for Your Duties but Maintain Your Rights | 2022 | Zhu, S.; De Giacomo, G. | |
| Compositional Safety LTL Synthesis | 2023 | Bansal, Suguman; De Giacomo, Giuseppe; Di Stasio, Antonio; Li, Yong; Vardi, Moshe Y.; Zhu, Shufang | |
| Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis | 2021 | DE GIACOMO, Giuseppe; DI STASIO, Antonio; Tabajara, Lucas M.; Vardi, Moshe; Zhu, Shufang | |
| LTLf Best-Effort Synthesis in Nondeterministic Planning Domains | 2023 | DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang | |
| LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work | 2022 | De Giacomo, G.; Favorito, M.; Li, J.; Vardi, M. Y.; Xiao, S.; Zhu, S. | |
| LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties | 2023 | Aminof, B.; De Giacomo, G.; Di Stasio, A.; Francon, H.; Rubin, S.; Zhu, S. | |
| LTLf Synthesis with Fairness and Stability Assumptions | 2020 | Zhu, Shufang; De Giacomo, Giuseppe; Pu, Geguang; Vardi, Moshe Y. | |
| Mimicking Behaviors in Separated Domains | 2023 | De Giacomo, G.; Fried, D.; Patrizi, F.; Zhu, S. | |
| On the Power of Automata Minimization in Temporal Synthesis | 2021 | Zhu, Shufang; Tabajara, Lucas M.; Pu, Geguang; Vardi, Moshe Y. | |
| On-the-fly Synthesis for LTL over Finite Traces | 2021 | Xiao, Shengping; Li, Jianwen; Zhu, Shufang; Shi, Yingying; Pu, Geguang; Vardi, Moshe Y. | |
| Symbolic LTLf Best-Effort Synthesis | 2023 | DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang | |
| Synthesis of Maximally Permissive Strategies for LTLf Specifications | 2022 | Zhu, S.; De Giacomo, G. | |
| Synthesis with mandatory stop actions | 2021 | DE GIACOMO, Giuseppe; DI STASIO, Antonio; Perelli, Giuseppe; Zhu, Shufang | |
| Two-Stage Technique for LTLf Synthesis Under LTL Assumptions | 2020 | De Giacomo, Giuseppe; Di Stasio, Antonio; Vardi, Moshe; Zhu, Shufang |