Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3

Source URL: repository.ist.ac.at

• Algebra
• Mathematics
• Convex geometry
• Linear algebra
• Convex analysis
• Convex cone
• Abstract interpretation
• Octahedron
• Polyhedron
• Linear programming
• Linear inequality
• Convex set

Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2

Source URL: www.georg.weissenbacher.science

Information Structures, the Witsenhausen Counterexample, and Communicating Using Actions Pulkit Grover, Carnegie Mellon University Abstract The concept of “information-structures” in decentralized control is a formal

Source URL: users.ece.cmu.edu

When is an example a counterexample? [Extended Abstract] Eric Pacuit Arthur Paul Pedersen

Source URL: www.tark.org

A Counterexample Regarding Labelled Well-Quasi-Ordering Robert Brignall Michael Engen and Vincent Vatter˚

Source URL: users.mct.open.ac.uk

arXiv:1307.7765v3 [math.AG] 9 AugA counterexample to the geometric Chevalley-Warning conjecture June Huh Abstract

Source URL: web.math.princeton.edu

Sosa on Safety and Epistemic Frankfurt Cases Juan Comesaña 1. Introduction Much work in epistemology in the aftermath of Gettier’s counterexample to the justified true belief account of knowledge was concerned with th

Source URL: comesana.arizona.edu

A counterexample to the local-global principle of linear dependence for abelian varieties Peter Jossen and Antonella Perucca Abstract Let A be an abelian variety defined over a number field k. Let P be a point in A(k) an

Source URL: www.jossenpeter.ch

A COUNTEREXAMPLE TO THE RECONSTRUCTION CONJECTURE FOR LOCALLY FINITE TREES arXiv:1606.02926v1 [math.CO] 9 JunNATHAN BOWLER, JOSHUA ERDE, PETER HEINIG, FLORIAN LEHNER, MAX PITZ

Source URL: www.florian-lehner.net

¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION

Source URL: home.uchicago.edu