Paper accepted to SETTA 2020
Published:
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.
Published:
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.
Published:
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.
Published:
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.
Published:
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.
Published:
Paper 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.