Searching for "Model Checking Games." – sorted by Relevance.
87 documents found, showing 1 through 10.
Next 10 →
-
Model Checking Games for CTL*
- …Model Checking Games for CTL # Martin Lange and Colin Stirling LFCS, Division of Informatics…
- Cited by 5 (3 self) – Add To MetaCart
-
Model Checking Games
- …WoLLIC 2002 Preliminary Version Model Checking Games Erich Gradel 1 Aachen University…
- Cited by 6 (0 self) – Add To MetaCart
-
Weighted automata: model checking and games
- …Weighted automata: model checking and games Nicolas Markey November 14, 2008 Contents 1 Weighted…
- Add To MetaCart
-
Weighted timed automata: model-checking and games
- …Weighted Timed Automata: Model-Checking and Games Abstract Patricia Bouyer 1,2 LSV – CNRS & ENS de…
- Cited by 3 (1 self) – Add To MetaCart
-
Model Checking Games for Branching Time Logics
- …Model Checking Games for Branching Time Logics Martin Lange and Colin Stirling LFCS, Division…
- Cited by 6 (3 self) – Add To MetaCart
-
Bisimulation, Modal Logic and Model Checking Games
- …Bisimulation, Modal Logic and Model Checking Games Colin Stirling, Division of Informatics…
- Cited by 11 (0 self) – Add To MetaCart
-
Multi-valued model checking games
- …Multi-Valued Model Checking Games Sharon Shoham and Orna Grumberg Computer Science Department…
- Cited by 2 (0 self) – Add To MetaCart
-
Local Model Checking Games for Fixed Point Logic with Chop
- …Local Model Checking Games for Fixed Point Logic with Chop Martin Lange Institut für Informatik…
- Cited by 4 (3 self) – Add To MetaCart
-
Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata
- …Model Checking Games for the Alternation-Free -Calculus and Alternating Automata Martin Leucker…
- Add To MetaCart
-
ABSTRACT Abstractions for Model-Checking Game-theoretic Properties in Combinatorial Auctions
- …ABSTRACT Abstractions for Model-Checking Game-theoretic Properties in Combinatorial Auctions E…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
