Luis Urbina

Achieving global biodiversity goals by 2050 requires urgent and integrated actions

S. Lwasa, S. Polasky, S. Ferrier, 2022, One Earth.

The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R)

Luis Urbina, Luis Urbina, 1996, CP.

Analysis of Hybrid Systems in CLP(R)

Luis Urbina, Luis Urbina, 1996, CP.

Combining a computer science and control theory approach to the verification of hybrid systems

S. Kowalewski, S. Engell, R. Huuck, 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.

Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems

Stefan Kowalewski, Sebastian Engell, Ralf Huuck, 1998, Scalable Comput. Pract. Exp..

Comparing Timed C/E Systems with Timed Automata

Marcin Jurdzinski, Ashutosh Trivedi, S. Engell, 1996 .