Comparative Evaluation and Improvement of Computational Approaches to Reachability Analysis of Linear Hybrid Systems: 1 - Couverture souple

 
9783844043761: Comparative Evaluation and Improvement of Computational Approaches to Reachability Analysis of Linear Hybrid Systems: 1