Sciweavers

2875 search results - page 16 / 575

» Model checking agentspeak

15

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

13 years 7 months ago

Bounded Model Checking for Timed Automata

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

15

JACM
2000

55views more JACM 2000»

An automata-theoretic approach to branching-time model checking

13 years 7 months ago

An automata-theoretic approach to branching-time model checking

Download folli.loria.fr

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper

claim paper

Read More »

20

ENTCS
2002

62views more ENTCS 2002»

Model Checking Games

13 years 7 months ago

Model Checking Games

Download www.games.rwth-aachen.de

Erich Grädel

claim paper

Read More »

20

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

13 years 7 months ago

Model Checking for a Probabilistic Branching Time Logic with Fairness

Download www.uni-koblenz.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

21

CORR
1999
Springer

95views Education» more CORR 1999»

Fixed-parameter tractability, definability, and model checking

13 years 7 months ago

Fixed-parameter tractability, definability, and model checking

Download www2.informatik.hu-berlin.de

In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...

Jörg Flum, Martin Grohe

claim paper

Read More »

« Prev « First page 16 / 575 Last » Next »