2 search results - page 1 / 1 » A New Modality for Almost Everywhere Properties in Timed Aut... |
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
SIAMMA
2011
12 years 11 months ago
2011
It has been unknown since the time of Euler whether or not time-periodic sound wave propagation is physically possible in the compressible Euler equations, due mainly to the ubiqui...