External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness

Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali. Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 1027-1033, AAAI Press, 2014. [doi]

Authors

Giuseppe De Giacomo

This author has not been identified. Look up 'Giuseppe De Giacomo' in Google

Riccardo De Masellis

This author has not been identified. Look up 'Riccardo De Masellis' in Google

Marco Montali

This author has not been identified. Look up 'Marco Montali' in Google
runs on