280 search results - page 27 / 56 » Some Recent Results in Metric Temporal Logic |
TARK
1992
Springer
13 years 11 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
TMM
2002
13 years 7 months ago
2002
Abstract--Some recent publications have proposed methodologies to assess the performance of multimedia services in introducing subjective estimate of the end-to-end quality of vari...
TMA
2010
Springer
13 years 5 months ago
2010
Springer
One-way packet delay is an important network performance metric. Recently, a new data structure called Lossy Difference Aggregator (LDA) has been proposed to estimate this metric m...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
CODES
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...