Sciweavers

1860 search results - page 68 / 372
» A Temporal Logic of Robustness
Sort
View
IFM
2004
Springer
15 years 10 months ago
Integrating Temporal Logics
Yifeng Chen, Zhiming Liu
ATAL
2003
Springer
15 years 10 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
CAV
2003
Springer
106views Hardware» more  CAV 2003»
15 years 10 months ago
Enhanced Vacuity Detection in Linear Temporal Logic
Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumber...
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 10 months ago
TLQSolver: A Temporal Logic Query Checker
Marsha Chechik, Arie Gurfinkel