Jekyll2021-09-13T19:55:52-07:00https://liyong31.github.io/feed.xmlYong Li’s (李勇) Homepagepersonal descriptionYong LiPaper accepted to FM 20212021-07-17T00:00:00-07:002021-07-17T00:00:00-07:00https://liyong31.github.io/posts/2021/07/blog-post-1<p>Paper titled “Congruence Relations for Büchi Automata” is accepted for presentation at FM 2021.
This is joint work with Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi and Lijun Zhang.</p>Yong LiPaper titled “Congruence Relations for Büchi Automata” is accepted for presentation at FM 2021. This is joint work with Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi and Lijun Zhang.Paper accepted to IJCAI 20212021-04-30T00:00:00-07:002021-04-30T00:00:00-07:00https://liyong31.github.io/posts/2021/04/blog-post-1<p>Paper titled “Synthesizing Good-Enough Strategies for LTLf Specifications” is accepted for presentation at IJCAI 2021.
This is joint work with Andrea Turrini, Moshe Y. Vardi and Lijun Zhang.</p>Yong LiPaper titled “Synthesizing Good-Enough Strategies for LTLf Specifications” is accepted for presentation at IJCAI 2021. This is joint work with Andrea Turrini, Moshe Y. Vardi and Lijun Zhang.Paper accepted to SETTA 20202020-09-07T00:00:00-07:002020-09-07T00:00:00-07:00https://liyong31.github.io/posts/2020/09/blog-post-1<p>Paper titled “Modelling and Implementation of Unmanned Aircraft Collision Avoidance” is accepted to SETTA 2020.
This is joint work with Weizhi Feng, Cheng-Chao Huang, and Andrea Turrini.</p>Yong LiPaper titled “Modelling and Implementation of Unmanned Aircraft Collision Avoidance” is accepted to SETTA 2020. This is joint work with Weizhi Feng, Cheng-Chao Huang, and Andrea Turrini.Paper accepted to Tool Demo Track of ESEC/FSE 20202020-08-11T00:00:00-07:002020-08-11T00:00:00-07:00https://liyong31.github.io/posts/2020/08/blog-post-1<p>Paper titled “SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM” is accepted to the Tool Demostrations Track of ESEC/FSE 2020.
This is joint work with Xie Li, Yi Li, Andrea Turrini, Xuechao Sun and Lijun Zhang.</p>Yong LiPaper titled “SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM” is accepted to the Tool Demostrations Track of ESEC/FSE 2020. This is joint work with Xie Li, Yi Li, Andrea Turrini, Xuechao Sun and Lijun Zhang.Paper accepted to GandALF 20202020-08-04T00:00:00-07:002020-08-04T00:00:00-07:00https://liyong31.github.io/posts/2020/08/blog-post-1<p>Paper titled “On the Power of Unambiguity in Büchi Complementation” is accepted for presentation at GandALF 2020.
This is joint work with Moshe Y. Vardi and Lijun Zhang.</p>Yong LiPaper titled “On the Power of Unambiguity in Büchi Complementation” is accepted for presentation at GandALF 2020. This is joint work with Moshe Y. Vardi and Lijun Zhang.Paper accepted to ATVA 20202020-06-24T00:00:00-07:002020-06-24T00:00:00-07:00https://liyong31.github.io/posts/2020/06/blog-post-1<p>Paper titled “Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling” is accepted for presentation at ATVA 2020.
This is joint work with Andrea Turrini, Xuechao Sun, and Lijun Zhang.</p>Yong LiPaper titled “Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling” is accepted for presentation at ATVA 2020. This is joint work with Andrea Turrini, Xuechao Sun, and Lijun Zhang.Paper accepted to AAAI 20202019-11-11T00:00:00-08:002019-11-11T00:00:00-08:00https://liyong31.github.io/posts/2019/11/blog-post-1<p>Paper titled “Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications” is accepted for <strong>oral</strong> presentation at AAAI 2020.
This is joint work with Suguman Bansal, Lucas M. Tabajara, and Moshe Y. Vardi.</p>Yong LiPaper titled “Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications” is accepted for oral presentation at AAAI 2020. This is joint work with Suguman Bansal, Lucas M. Tabajara, and Moshe Y. Vardi.