In: 4th International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS) BME Közlekedésmérnöki és Járműmérnöki Kar, Budapest, pp. 52-57.
Look-ahead cruise control design in Vissim simulation environment
REVISTA CIENCIA E INGENIERIA, 36 (1)., pp. 11-18. ISSN 1316-7081
Fault tolerant adaptive estimation of nonlinear processes: a case study of batch distillation (Estimación no lineal adaptativa con tolerancia a fallos: aplicación a la destilación por lotes)
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs