Details for the publication Li0PVH14.

Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi (), Jifeng He: LTLf Satisfiability Checking. In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, pages 513-518, 2014. DOI BIB