Planning via Model Checking: A Decision Procedure for AR

  • Authors:
  • Alessandro Cimatti;Fausto Giunchiglia;Enrico Giunchiglia;Paolo Traverso

  • Affiliations:
  • -;-;-;-

  • Venue:
  • ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract