(PDF) Probabilistic CEGAR - Lecture Notes in Computer

Probabilistic CEGAR

Lecture Notes in Computer Science - Germany

doi 10.1007/978-3-540-70545-1_16

Full Text

Abstract

Available in full text

Categories

Computer Science

Theoretical Computer Science

Date

Unknown

Authors

Holger Hermanns

Publisher

Springer Berlin Heidelberg

Related search

Development of Probabilistic Timed CEGAR

English

Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process

Lecture Notes in Electrical Engineering

Manufacturing Engineering

English

Probabilistic Parsing

Studies in Computational Intelligence

Artificial Intelligence

English

Probabilistic Models

English

Probabilistic Reasoning

English

Probabilistic Databases

English

Probabilistic Index Models

Journal of the Royal Statistical Society. Series B: Statistical Methodology

English

Probabilistic Procurement Auctions

Review of Economic Design

English

Probabilistic Proof Systems

BRICS Report Series

English