Jorge Torres

1 papers · 2015–2015 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Jorge A. Baier (1)

Papers

Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals IJCAI 2015