2649 search results - page 152 / 530 » Temporal Theories of Reasoning |
168
click to vote
FROCOS
2007
Springer
16 years 22 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
156
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
195
click to vote
EXACT
2008
15 years 9 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
169
click to vote
AIIDE
2006
15 years 8 months ago
2006
Flight simulators are becoming more sophisticated and realistic, and the requirements of those using them are becoming more demanding. Air traffic control simulation for such simu...
218
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Narrative time has an important role to play in Interactive Storytelling (IS) systems. In contrast to prevailing IS approaches which use implicit models of time, in our work we ha...