256 search results - page 52 / 52 » State Aggregation and Population Dynamics in Linear Systems |
ASE
2005
13 years 5 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...