Search Sciweavers | Sciweavers

1860 search results - page 68 / 372

» A Temporal Logic of Robustness

click to vote

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

14 years 3 months ago

Download web.informatik.uni-bonn.de

Joachim Klein, Christel Baier

claim paper

Read More »

click to vote

IFM
2004
Springer

83views Formal Methods» more IFM 2004»

Integrating Temporal Logics

14 years 3 months ago

Download www.iist.unu.edu

Yifeng Chen, Zhiming Liu

claim paper

Read More »

click to vote

ATAL
2003
Springer

107views Intelligent Agents» more ATAL 2003»

Engineering commitment-based multiagent systems: a temporal logic approach

14 years 3 months ago

Download people.engr.ncsu.edu

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

claim paper

Read More »

click to vote

CAV
2003
Springer

106views Hardware» more CAV 2003»

Enhanced Vacuity Detection in Linear Temporal Logic

14 years 3 months ago

Download www.doc.ic.ac.uk

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumber...

claim paper

Read More »

click to vote

CAV
2003
Springer

140views Hardware» more CAV 2003»

TLQSolver: A Temporal Logic Query Checker

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers