Alert button
Picture for Shufang Zhu

Shufang Zhu

Alert button

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains

Aug 29, 2023
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

Figure 1 for LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
Figure 2 for LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
Figure 3 for LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
Figure 4 for LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
Viaarxiv icon

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

Aug 29, 2023
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Viaarxiv icon

Symbolic LTLf Best-Effort Synthesis

Aug 29, 2023
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

Figure 1 for Symbolic LTLf Best-Effort Synthesis
Figure 2 for Symbolic LTLf Best-Effort Synthesis
Figure 3 for Symbolic LTLf Best-Effort Synthesis
Figure 4 for Symbolic LTLf Best-Effort Synthesis
Viaarxiv icon

Act for Your Duties but Maintain Your Rights

Feb 07, 2023
Shufang Zhu, Giuseppe De Giacomo

Viaarxiv icon

Mimicking Behaviors in Separated Domains

May 18, 2022
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

Figure 1 for Mimicking Behaviors in Separated Domains
Viaarxiv icon

LTLf Synthesis with Fairness and Stability Assumptions

Dec 17, 2019
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Vardi

Figure 1 for LTLf Synthesis with Fairness and Stability Assumptions
Figure 2 for LTLf Synthesis with Fairness and Stability Assumptions
Figure 3 for LTLf Synthesis with Fairness and Stability Assumptions
Figure 4 for LTLf Synthesis with Fairness and Stability Assumptions
Viaarxiv icon

Symbolic LTLf Synthesis

Sep 21, 2017
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

Figure 1 for Symbolic LTLf Synthesis
Figure 2 for Symbolic LTLf Synthesis
Figure 3 for Symbolic LTLf Synthesis
Figure 4 for Symbolic LTLf Synthesis
Viaarxiv icon