Eugene Asarin

Optimal control for timed automata 1

Eugene Asarin, Oded Maler, 1999 .

Timed Formal Languages - A Framework for Hybrid Systems

Paul Caspi, Eugene Asarin, Oded Maler, 1998 .

d/dt: A Tool for Reachability Analysis of Continuous and Hybrid Systems

Thao Dang, Eugene Asarin, Oded Maler, 2001 .

Recent progress in continuous and hybrid reachability analysis

Oded Maler, Antoine Girard, Goran Frehse, 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

Preface

Oded Maler, Eugene Asarin, Sergio Yovine, 2002, Electron. Notes Theor. Comput. Sci..

Fair Adversaries and Randomization in Two-Player Games

Daniele Varacca, Eugene Asarin, Raphaël Chane-Yack-Fa, 2010, FoSSaCS.

Balanced timed regular expressions

Eugene Asarin, Cătălin Dima, 2002, Electron. Notes Theor. Comput. Sci..

Reachability analysis of non-linear systems using conservative approximations

Antoine Girard, Thao Dang, Eugene Asarin, 2003 .