Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5758 Publications


2000 | Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Springer, 2000, pp. 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Springer, 2000, pp. 145–159.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 13–34.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Springer, 2000, pp. 130–144.
View | DOI
 

Search

Filter Publications