116 search results - page 24 / 24 » Minimization of Automata |
142
click to vote
ASE
2005
15 years 2 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...