Solving Games via Three-Valued Abstraction Refinement

Information and Computation - United States
doi 10.1016/j.ic.2009.05.007
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Mind the Shapes: Abstraction Refinement via Topology Invariants

English

Simple and Three-Valued Simple Minimum Coloring Games

Mathematical Methods of Operations Research
Management ScienceSoftwareOperations ResearchMathematics
2016English

Simple and Three-Valued Simple Minimum Coloring Games

SSRN Electronic Journal
2015English

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Extraction of Abstraction Invariants for Data Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Games and Full Abstraction for FPC

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

On Abstraction Refinement for Program Analyses in Datalog

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy