Searching for authors named "Oded Maler" – sorted by Relevance.
72 documents found, showing 1 through 10.
Next 10 →
-
Combining Formal Verification and Timing Analysis (a request for a research grant)
- …Combining Formal Verification and Timing Analysis (a request for a research grant) Oded Maler…
- Add To MetaCart
-
On optimal and sub-optimal control in the presence of adversaries
- …ON OPTIMAL AND SUB-OPTIMAL CONTROL IN THE PRESENCE OF ADVERSARIES 1 Oded Maler ∗ ∗ CNRS-Verimag, 2…
- Cited by 4 (2 self) – Add To MetaCart
-
Control From Computer Science
- …CONTROL FROM COMPUTER SCIENCE 1 Oded Maler CNRS-Verimag, 2, av. de Vignate, 38610, Gi…
- Cited by 3 (0 self) – Add To MetaCart
-
A Decomposition Theorem for Probabilistic Transition Systems
- …A Decomposition Theorem for Probabilistic Transition Systems Oded Maler Verimag Miniparc ZIRST…
- Cited by 4 (0 self) – Add To MetaCart
-
Extending PSL for Analog Circuits
- …PROSYD Deliverable D1.3/1 Extending PSL for Analog Circuits Oded Maler No Logo January 12, 2005 1…
- Cited by 4 (2 self) – Add To MetaCart
-
Running head: Achilles and the Tortoise Addresss of contact author:
- … for Information Transmission Problems 19 Bol. Karetnyi per. 101447 Moscow, Russia asarin@(email omitted); Oded Maler…
- Add To MetaCart
-
Approximating Continuous Systems by Timed Automata ⋆
- …Approximating Continuous Systems by Timed Automata ⋆ Oded Maler 1 and Grégory Batt 2 1 Verimag…
- Add To MetaCart
-
Timed automata approach for the Axxom case study
- …, Oded Maler Verimag – Centre Equation, 2 Avenue de Vignate – 38610 Giéres France 26 november, 2003…
- Cited by 1 (0 self) – Add To MetaCart
-
From control loops to real-time programs
- …From Control Loops to Real-Time Programs Paul Caspi and Oded Maler Verimag-CNRS 2, av. de Vignate…
- Cited by 3 (0 self) – Add To MetaCart
-
On the representation of timed polyhedra
- …On the Representation of Timed Polyhedra ⋆ Olivier Bournez 1 and Oded Maler 2 1 LORIA Campus…
- Cited by 7 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
