scientific article; zbMATH DE number 1303061
From MaRDI portal
Publication:4249563
zbMATH Open0947.68154MaRDI QIDQ4249563FDOQ4249563
Authors: Oded Maler, Amir Pnueli, Olivier Bournez 
Publication date: 2 December 1999
Title of this publication is not available (Why is that?)
Recommendations
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Polytopes and polyhedra (52B99)
Cited In (21)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Steinitz theorems for orthogonal polyhedra
- Local orientation-preserving symmetry preserving operations on polyhedra
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Convex polyhedral chains: A representation for geometric data
- Reconstructing orthogonal polyhedra from putative vertex sets
- CARTESIAN PRODUCT PARTITIONING OF MULTI-DIMENSIONAL REACHABLE STATE SPACES
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
- Computing the discrete compactness of orthogonal pseudo-polytopes via their \(n\)D-EVM representation
- DEVELOPMENTS OF POLYHEDRA USING OBLIQUE COORDINATES
- Data structures for higher-dimensional rectilinear packing
- Title not available (Why is that?)
- The two variable per inequality abstract domain
- Title not available (Why is that?)
- Approximating Continuous Systems by Timed Automata
- Orthogonal surfaces and their CP-orders
- Transformation of geometric models into orthogonal polyhedra using fuzzy logic
- Automata-based symbolic representations of polyhedra
- Computation of the axial view of a set of isothetic parallelepipeds
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Reachability computation for polynomial dynamical systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249563)
