445 search results - page 51 / 89 » Model Checking Quantitative Linear Time Logic |
117
click to vote
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
138
Voted
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
132
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
114
Voted
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
123
Voted
ICCV
2009
IEEE
16 years 6 months ago
2009
IEEE
We use concepts from chaos theory in order to model
nonlinear dynamical systems that exhibit deterministic behavior.
Observed time series from such a system can be embedded
into...