Personensuche
X
?
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control ,
2
On the decidability of reachability in linear time-invarian..:
, In:
?
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control ,
4
On the Polytope Escape Problem for Continuous Linear Dynami..:
, In:
?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ,
5