Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness

De Giacomo G, De Masellis R, Montali M
2014
Conference paper
Journal:
PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE
,
pp.
1027 - 1033
No abstract available