Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 9:16, 18 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Werner Damm, Guilherme Pinto, and Stefan Ratschan
    Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
    In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, 2005, 99-113
  2. Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
    Automatic Verification of Hybrid Systems with Large Discrete State Space
    In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, 2006, 276-291