Search Sciweavers | Sciweavers

3028 search results - page 73 / 606

» Integrating Temporal Logics

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

14 years 3 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

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

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