Lifting CDCL to template-based abstract domains for program verification by Mukherjee, R, Schrammel, P, Haller, L, Kroening, D, Melham, T

“…This is the first instantiation of CDCL with a template polyhedra abstract domain.…”

Toric geometry and dualities of string theory by Candelas, P

“…The right hand side of these identities can, in many cases, be related to reflexive polyhedra so are would expect the left hand side to have also a natural interpretation in these terms. …”

Toric geometry and dualities of string theory by Candelas, P

“…The right hand side of these identities can, in many cases, be related to reflexive polyhedra so we would expect the left hand side to have also a natural interpretation in these terms. …”

On the Monniaux Problem in abstract interpretation by Fijalkow, N, Lefaucheux, E, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J

“…In this paper, we show that the Monniaux Problem is undecidable for unguarded affine programs and semilinear invariants (unions of polyhedra). Moreover, we show that decidability is recovered in the important special case of simple linear loops. …”

Asymmetric constraints with polyhedral sets in MPC with application to coupled tanks system by Kouvaritakis, B, Cannon, M, Karas, A, Rohal-Ilkiv, B, Belavy, C, IEEE, IEEE

“…The work here adopts low complexity polyhedra for which invariance and feasibility under asymmetric constraints can be handled through the use of Farkas' lemma and related results. …”

Distinctive representations for the recognition of curved surfaces using outlines and markings by Forsyth, D, Zisserman, A, Malik, J

“…In such special cases as polyhedra, surfaces of revolution, general cones, canal surfaces and algebraic surfaces, the geometry can be recovered with varying degrees of success and of ambiguity. …”

Growing and characterizing one-dimensional crystals within single-walled carbon nanotubes. by Hutchison, J, Sloan, J, Kirkland, A, Green, M

“…ThCl4 was found to form a chain structure of Th[Cl]8 polyhedra. HgI2 crystallized within nanotubes with ultra-narrow (i.e. 0.8 nm) capillaries was observed to form helical 2 x 1 layer crystals.…”

Verifying reinforcement learning up to infinity by Bacci, E, Giacobbe, M, Parker, D

“…We develop a novel abstract interpretation method which, by constructing adaptable template-based polyhedra using MILP and interval arithmetic, yields sound - safe and invariant - overapproximations of the reach set. …”

Robust tube MPC using gain-scheduled policies for a class of LPV systems by Fleming, J, Hawari, Q, Cannon, M

“…State and input constraints are handled efficiently by bounding predicted states in a sequence of polyhedra (i.e. tube MPC), that are parameterised by variables in the online optimisation. …”