The Image Computation Problem in Hybrid Systems Model Checking

From MaRDI portal
Publication:3612995

DOI10.1007/978-3-540-71493-4_37zbMath1221.93118OpenAlexW2154128151MaRDI QIDQ3612995

André Platzer, Edmund M. Clarke

Publication date: 11 March 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_37



Related Items