Sciweavers

5216 search results - page 198 / 1044

» Planning as Model Checking

113

ATVA
2008
Springer

88views Hardware» more ATVA 2008»

Practical Efficient Modular Linear-Time Model-Checking

15 years 5 months ago

Practical Efficient Modular Linear-Time Model-Checking

Download se.ethz.ch

Carlo A. Furia, Paola Spoletini

claim paper

Read More »

104

CAV
2008
Springer

104views Hardware» more CAV 2008»

Semi-external LTL Model Checking

15 years 5 months ago

Semi-external LTL Model Checking

Download www.memics.cz

Stefan Edelkamp, Peter Sanders, Pavel Simecek

claim paper

Read More »

113

Voted

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 5 months ago

Model Checking of Control-User Component-Based Parametrised Systems

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

93

CRITIS
2008

74views Security Privacy» more CRITIS 2008»

Critical Infrastructures Security Modeling, Enforcement and Runtime Checking

15 years 5 months ago

Critical Infrastructures Security Modeling, Enforcement and Runtime Checking

Download critis08.dia.uniroma3.it

Anas Abou El Kalam, Yves Deswarte

claim paper

Read More »

147

DALT
2008
Springer

142views Intelligent Agents» more DALT 2008»

Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

15 years 5 months ago

Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

Download www.di.unito.it

We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...

Dimitar P. Guelev, Catalin Dima

claim paper

Read More »

« Prev « First page 198 / 1044 Last » Next »