14. ATVA 2016: Chiba, Japan

Keynote

Markov Models, Chains, and Decision Processes

Counter Systems, Automata

Parallelism, Concurrency

Complexity, Decidability

Synthesis, Refinement

Optimization, Heuristics, Partial-Order Reductions

Solving Procedures, Model Checking

Program Analysis

maintained by Schloss Dagstuhl LZI at University of Trier