Fair LTL synthesis for non-deterministic systems using strong cyclic planners

TitleFair LTL synthesis for non-deterministic systems using strong cyclic planners
Publication TypeConference Paper
Year of Publication2013
AuthorsPatrizi, F, Lipovetzky, N, Geffner, H
Conference NameProceedings of the Twenty-Third international joint conference on Artificial Intelligence
PublisherAAAI Press