scientific article; zbMATH DE number 1303061
From MaRDI portal
Publication:4249563
zbMath0947.68154MaRDI QIDQ4249563
Amir Pnueli, Oded Maler, Olivier Bournez
Publication date: 2 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Polytopes and polyhedra (52B99)
Related Items (10)
Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology ⋮ Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ Approximating Continuous Systems by Timed Automata ⋮ CARTESIAN PRODUCT PARTITIONING OF MULTI-DIMENSIONAL REACHABLE STATE SPACES ⋮ Reconstructing orthogonal polyhedra from putative vertex sets ⋮ The two variable per inequality abstract domain ⋮ Reachability computation for polynomial dynamical systems ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ Data Structures for Higher-Dimensional Rectilinear Packing ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
This page was built for publication:
