You May Also Enjoy
Paper accepted to VMCAI 2022
less than 1 minute read
Published:
Paper titled “EPMC Gets Knowledge in Multi-Agent Systems” is accepted for presentation at VMCAI 2022. This is joint work with Chen Fu, Ernst Moritz Hahn, Sven Schewe, Meng Sun, Andrea Turrini, and Lijun Zhang.
Paper accepted to FM 2021
less than 1 minute read
Published:
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.
Paper accepted to IJCAI 2021
less than 1 minute read
Published:
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.
Paper accepted to SETTA 2020
less than 1 minute read
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.