Search results for "Model-checking games"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
2	Xiaowei Huang, Ron van der Meyden	Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
2	Lukasz Kaiser	Game Quantification on Automatic Structures and Hierarchical Model Checking Games.	CSL	2006	DBLP DOI BibTeX RDF
2	Markus Müller-Olm, Haiseung Yoo	MetaGame: An Animation Tool for Model-Checking Games.	TACAS	2004	DBLP DOI BibTeX RDF	model checking, animation, game, error diagnosis, branching time logic
2	Martin Lange	Local Model Checking Games for Fixed Point Logic with Chop.	CONCUR	2002	DBLP DOI BibTeX RDF
2	Martin Leucker	Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata.	LPAR	1999	DBLP DOI BibTeX RDF
1	Sharon Shoham, Orna Grumberg	Multi-valued model checking games.	J. Comput. Syst. Sci.	2012	DBLP DOI BibTeX RDF
1	Julian Gutierrez, Julian C. Bradfield	Model-checking games for fixpoint logics with partial order models.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Davide Grossi	An Application of Model Checking Games to Abstract Argumentation.	LORI	2011	DBLP DOI BibTeX RDF
1	Diana Fischer, Erich Grädel, Lukasz Kaiser	Model Checking Games for the Quantitative µ-Calculus.	Theory Comput. Syst.	2010	DBLP BibTeX RDF
1	Diana Fischer, Erich Grädel, Lukasz Kaiser	Model Checking Games for the Quantitative mu-Calculus	CoRR	2008	DBLP BibTeX RDF
1	Diana Fischer, Erich Grädel, Lukasz Kaiser	Model Checking Games for the Quantitative µ-Calculus.	STACS	2008	DBLP DOI BibTeX RDF
1	Colin Stirling	Model-Checking Games for Typed lambda-Calculi.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Sharon Shoham, Orna Grumberg	A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement
1	Philipp Rohde	On the µ-Calculus Augmented with Sabotage.	FoSSaCS	2006	DBLP DOI BibTeX RDF
1	Sharon Shoham, Orna Grumberg	Multi-valued Model Checking Games.	ATVA	2005	DBLP DOI BibTeX RDF
1	Colin Stirling	Higher-Order Matching and Games.	CSL	2005	DBLP DOI BibTeX RDF	higher-order matching, games, typed lambda calculus
1	Anuj Dawar, Erich Grädel, Stephan Kreutzer	Backtracking Games and Inflationary Fixed Points.	ICALP	2004	DBLP DOI BibTeX RDF
1	Dietmar Berwanger, Erich Grädel	Fixed-Point Logics and Solitaire Games.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
1	Erich Grädel	Model Checking Games.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Martin Lange, Colin Stirling	Model Checking Games for Branching Time Logics.	J. Log. Comput.	2002	DBLP DOI BibTeX RDF
1	Colin Stirling	Bisimulation, Modal Logic and Model Checking Games.	Logic Journal of the IGPL	1999	DBLP DOI BibTeX RDF
1	Perdita Stevens, Colin Stirling	Practical Model-Checking Using Games.	TACAS	1998	DBLP DOI BibTeX RDF
1	Colin Stirling	Lokal Model Checking Games.	CONCUR	1995	DBLP DOI BibTeX RDF