Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Maler, Oded - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)
Effective Synthesis of Switching Controllers for Linear Systems
Reachability Analysis of Dynamical Systems having Piecewise-Constant
From Control Loops to Real-Time Programs Paul Caspi and Oded Maler
On the E ects of Noise and Speed on Computations
CONTROL FROM COMPUTER SCIENCE 1 CNRS-Verimag, 2, av. de Vignate, 38610, Gi`eres, France.
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
Guest Editorial: Veri cation of Hybrid Systems
On the Learnability of Infinitary Regular Sets spectre verimag
A Decomposition Theorem for Probabilistic Transition Systems
On Syntactic Congruences for -languages Miniparc ZIRST
Symbolic Model Checking with Rich Assertional Languages?
Timed Regular Expressions Eugene Asarin Paul Caspi Oded Maler
