6 search results - page 1 / 2 » ictac 2007 |
ICTAC
2007
Springer
14 years 6 days ago
2007
Springer
ICTAC
2007
Springer
14 years 6 days ago
2007
Springer
ICTAC
2007
Springer
14 years 6 days 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
14 years 6 days 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
14 years 6 days 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...