Jorge Torres

1 paper in the IJCAI proceedings

IJCAI 2015

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

with Jorge A. Baier

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings