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.