Repository logo
  • English
  • Italiano
Log In
New user? Click here to register.Have you forgotten your password?
Repository logo
  • English
  • Italiano
Log In
New user? Click here to register.Have you forgotten your password?
  1. Home
  2. ASI Community
  3. ASI Multidisciplinary Collection
  4. Using linear temporal logic to model and solve planning problems
 
  • Details

Using linear temporal logic to model and solve planning problems

Author(s)
Cerrito, S
Mayer, MC
ASI Sponsor
Date Issued
1998-01-01
URI
https://hdl.handle.net/20.500.13025/486
Journal
Automated Reasoning with Analytic Tableaux and
URL
http://link.springer.com/chapter/10.1007/BFb0057441
http://link.springer.com/chapter/10.1007/3-540-69778-0_18
Explore by
  • Communities & Collections
  • Research Outputs

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Privacy policy
  • End User Agreement
  • Send Feedback