5216 search results - page 2 / 1044 » Planning as Model Checking |
79
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
102
Voted
ECP
1999
Springer
15 years 4 months ago
1999
Springer
65
Voted
AIPS
1998
15 years 1 months ago
1998
IUI
2003
ACM
15 years 5 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
108
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...