Sciweavers

1860 search results - page 68 / 372
» A Temporal Logic of Robustness
Sort
View
79
Voted
IFM
2004
Springer
15 years 6 months ago
Integrating Temporal Logics
Yifeng Chen, Zhiming Liu
101
Voted
ATAL
2003
Springer
15 years 5 months ago
Engineering commitment-based multiagent systems: a temporal logic approach
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
Jie Xing, Munindar P. Singh
65
Voted
CAV
2003
Springer
106views Hardware» more  CAV 2003»
15 years 5 months ago
Enhanced Vacuity Detection in Linear Temporal Logic
Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumber...
70
Voted
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 5 months ago
TLQSolver: A Temporal Logic Query Checker
Marsha Chechik, Arie Gurfinkel