Synthesizing Good-Enough Strategies for LTLf Specifications

Published in Proceedings of the Thirtith International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

Recommended citation:

This is joint work with Andrea Turrini, Moshe Y. Vardi and Lijun Zhang paper and slides.