Alert button
Picture for Lucas M. Tabajara

Lucas M. Tabajara

Alert button

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications

Dec 09, 2019
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi

Figure 1 for Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Figure 2 for Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Figure 3 for Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Figure 4 for Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
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