Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model Repair Revamped: On the Automated Synthesis of Markov Chains   This paper outlines two approaches|based on counterexample-guided abstraction
refinement (CEGAR) and counterexample-guided inductive synthesis (CEGIS),
respectively to the automated synthesis of finite-state probabilistic models
and programs. Our CEGAR approach iteratively partitions the design space
starting from an abstraction of this space and refines this by a light-weight
analysis of verification results. The CEGIS technique exploits critical
subsystems as counterexamples to prune all programs behaving incorrectly on
that input. We show the applicability of these synthesis techniques to
sketching of probabilistic programs, controller synthesis of POMDPs, and
software product lines.

29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat