5216 search results - page 407 / 1044 » Planning as Model Checking |
171
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
199
Voted
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
155
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
129
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
To implement high-performance global interconnect without impacting the performance of existing blocks, the use of buffer blocks is increasingly popular in structured-custom and b...
176
click to vote
AIPS
2010
15 years 7 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...