Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. De Giacomo, G.; De Masellis, R.; and Montali, M. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada, pages 1027–1033, 2014.
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness [link]Paper  bibtex   
@inproceedings{DBLP:conf/aaai/GiacomoMM14,
  author    = {Giuseppe {De Giacomo} and
               Riccardo {De Masellis} and
               Marco Montali},
  title     = {Reasoning on {LTL} on Finite Traces: Insensitivity to Infiniteness},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages     = {1027--1033},
  year      = {2014},
  crossref  = {DBLP:conf/aaai/2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/GiacomoMM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0