Sciweavers

4341 search results - page 217 / 869

» Quantitative Model checking

83

EUMAS
2006

107views Intelligent Agents» more EUMAS 2006»

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete

15 years 4 months ago

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete

Download www.in.tu-clausthal.de

Wojciech Jamroga, Jürgen Dix

claim paper

Read More »

77

Voted

AIPS
1998

81views Artificial Intelligence» more AIPS 1998»

Strong Planning in Non-Deterministic Domains Via Model Checking

15 years 3 months ago

Strong Planning in Non-Deterministic Domains Via Model Checking

Download www.cs.cmu.edu

Alessandro Cimatti, Marco Roveri, Paolo Traverso

claim paper

Read More »

101

Voted

CASCON
2000

98views Education» more CASCON 2000»

Model checking the composition of hypermedia design components

15 years 3 months ago

Model checking the composition of hypermedia design components

Download www.utdallas.edu

Jing Dong

claim paper

Read More »

76

Voted

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 3 months ago

Temporal Logic Model Checking (Abstract)

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

94

Voted

SLP
1997

49views more SLP 1997»

Model Checking (Abstract)

15 years 3 months ago

Model Checking (Abstract)

Download www.cs.utah.edu

Rob Gerth

claim paper

Read More »

« Prev « First page 217 / 869 Last » Next »