6 search results - page 1 / 2 » ictac 2007 |
ICTAC
2007
Springer
13 years 11 months ago
2007
Springer
ICTAC
2007
Springer
13 years 11 months ago
2007
Springer
ICTAC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the...
ICTAC
2007
Springer
13 years 11 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
ICTAC
2007
Springer
13 years 11 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...