Skip to main content
English
Italiano
Log In
Log in
New user? Click here to register.
Have you forgotten your password?
English
Italiano
Log In
Log in
New user? Click here to register.
Have you forgotten your password?
Home
ASI Community
ASI Multidisciplinary Collection
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