Counterexample

Results: 85



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

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

Add to Reading List

Source URL: repository.ist.ac.at

Language: English - Date: 2018-02-08 07:01:31
2Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2

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

Add to Reading List

Source URL: www.georg.weissenbacher.science

Language: English - Date: 2013-06-17 11:22:26
    3Information 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

    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

    Add to Reading List

    Source URL: users.ece.cmu.edu

    Language: English - Date: 2014-09-08 22:18:19
      4When is an example a counterexample? [Extended Abstract] Eric Pacuit Arthur Paul Pedersen

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

      Add to Reading List

      Source URL: www.tark.org

      Language: English - Date: 2013-03-23 12:13:27
        5A Counterexample Regarding Labelled Well-Quasi-Ordering Robert Brignall Michael Engen and Vincent Vatter˚

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

        Add to Reading List

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

        Language: English - Date: 2017-09-28 12:11:34
          6arXiv:1307.7765v3 [math.AG] 9 AugA counterexample to the geometric Chevalley-Warning conjecture June Huh Abstract

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

          Add to Reading List

          Source URL: web.math.princeton.edu

          Language: English - Date: 2016-09-19 01:23:04
            7Sosa 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

            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

            Add to Reading List

            Source URL: comesana.arizona.edu

            Language: English - Date: 2017-09-27 15:35:36
              8A 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

              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

              Add to Reading List

              Source URL: www.jossenpeter.ch

              Language: English - Date: 2013-02-20 08:17:28
                9A 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

                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

                Add to Reading List

                Source URL: www.florian-lehner.net

                Language: English - Date: 2016-06-15 08:46:44
                  10¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION

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

                  Add to Reading List

                  Source URL: home.uchicago.edu

                  Language: English - Date: 2005-08-08 21:51:44