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

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